Home
last modified time | relevance | path

Searched refs:vg_rdx (Results 1 – 2 of 2) sorted by relevance

/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c1056 gprs[VCPU_REGS_RDX] = vcpu->vc_gueststate.vg_rdx; in vcpu_readregs_vmx()
1181 gprs[VCPU_REGS_RDX] = vcpu->vc_gueststate.vg_rdx; in vcpu_readregs_svm()
1336 vcpu->vc_gueststate.vg_rdx = gprs[VCPU_REGS_RDX]; in vcpu_writeregs_vmx()
1467 vcpu->vc_gueststate.vg_rdx = gprs[VCPU_REGS_RDX]; in vcpu_writeregs_svm()
5238 case 2: r = vcpu->vc_gueststate.vg_rdx; break; in vmx_handle_cr()
5328 rdx = &vcpu->vc_gueststate.vg_rdx; in vmx_handle_rdmsr()
5444 rdx = &vcpu->vc_gueststate.vg_rdx; in vmm_handle_xsetbv()
5487 rdx = &vcpu->vc_gueststate.vg_rdx; in vmx_handle_misc_enable_msr()
5531 rdx = &vcpu->vc_gueststate.vg_rdx; in vmx_handle_wrmsr()
5598 rdx = &vcpu->vc_gueststate.vg_rdx; in svm_handle_msr()
[all …]
/openbsd/src/sys/arch/amd64/include/
Dvmmvar.h758 uint64_t vg_rdx; /* 0x20 */ member