Searched refs:guest_rdx (Results 1 – 3 of 3) sorted by relevance
30 guest_rdx VMXCTX_GUEST_RDX
51 uint64_t guest_rdx; member
1514 xcrval = vmxctx->guest_rdx << 32 | (vmxctx->guest_rax & 0xffffffff); in vmx_emulate_xsetbv()1575 return (vmxctx->guest_rdx); in vmx_get_guest_reg()1622 vmxctx->guest_rdx = regval; in vmx_set_guest_reg()2145 val = vmxctx->guest_rdx << 32 | (uint32_t)vmxctx->guest_rax; in vmx_handle_msr()2171 vmxctx->guest_rdx = val >> 32; in vmx_handle_msr()2415 (uint64_t *)&vmxctx->guest_rdx); in vmx_exit_process()3052 return (&vmxctx->guest_rdx); in vmxctx_regptr()