kvm_rcx_write    1059 arch/x86/kvm/cpuid.c 	kvm_rcx_write(vcpu, ecx);
kvm_rcx_write    8679 arch/x86/kvm/x86.c 	kvm_rcx_write(vcpu, regs->rcx);