Searched refs:guest_rdx (Results 1 – 3 of 3) sorted by relevance
39 register_t guest_rdx; member
46 ASSYM(VMXCTX_GUEST_RDX, offsetof(struct vmxctx, guest_rdx));
978 (uint32_t*)(&vmxctx->guest_rdx)); in vmx_handle_cpuid()1416 xcrval = vmxctx->guest_rdx << 32 | (vmxctx->guest_rax & 0xffffffff); in vmx_emulate_xsetbv()1477 return (vmxctx->guest_rdx); in vmx_get_guest_reg()1524 vmxctx->guest_rdx = regval; in vmx_set_guest_reg()2228 edx = vmxctx->guest_rdx; in vmx_exit_process()2704 return (&vmxctx->guest_rdx); in vmxctx_regptr()