kvm_rbx_write    1058 arch/x86/kvm/cpuid.c 	kvm_rbx_write(vcpu, ebx);
kvm_rbx_write    8678 arch/x86/kvm/x86.c 	kvm_rbx_write(vcpu, regs->rbx);