Searched refs:guest_rdx (Results 1 – 3 of 3) sorted by relevance
44 ASSYM(VMXCTX_GUEST_RDX, offsetof(struct vmxctx, guest_rdx));
44 register_t guest_rdx; member
1257 (uint64_t *)&vmxctx->guest_rdx); in vmx_handle_cpuid()1725 xcrval = vmxctx->guest_rdx << 32 | (vmxctx->guest_rax & 0xffffffff); in vmx_emulate_xsetbv()1786 return (vmxctx->guest_rdx); in vmx_get_guest_reg()1833 vmxctx->guest_rdx = regval; in vmx_set_guest_reg()2558 edx = vmxctx->guest_rdx; in vmx_exit_process()3280 return (&vmxctx->guest_rdx); in vmxctx_regptr()4228 SNAPSHOT_VAR_OR_LEAVE(vmxctx->guest_rdx, meta, err, done); in vmx_vcpu_snapshot()