kvm_rbx_read     1623 arch/x86/kvm/hyperv.c 		ingpa = ((u64)kvm_rbx_read(vcpu) << 32) |
kvm_rbx_read     7459 arch/x86/kvm/x86.c 	a0 = kvm_rbx_read(vcpu);
kvm_rbx_read     8642 arch/x86/kvm/x86.c 	regs->rbx = kvm_rbx_read(vcpu);