Searched refs:guest_rbx (Results 1 – 3 of 3) sorted by relevance
35 guest_rbx VMXCTX_GUEST_RBX
56 uint64_t guest_rbx; member
1577 return (vmxctx->guest_rbx); in vmx_get_guest_reg()1625 vmxctx->guest_rbx = regval; in vmx_set_guest_reg()2413 (uint64_t *)&vmxctx->guest_rbx, in vmx_exit_process()3048 return (&vmxctx->guest_rbx); in vmxctx_regptr()