Home
last modified time | relevance | path

Searched refs:VCPU_REGS_XCR0 (Results 1 – 3 of 3) sorted by relevance

/openbsd/src/usr.sbin/vmd/
Dx86_vm.c110 .vrs_crs[VCPU_REGS_XCR0] = XFEATURE_X87
145 .vrs_crs[VCPU_REGS_XCR0] = XFEATURE_X87
/openbsd/src/sys/arch/amd64/include/
Dvmmvar.h397 #define VCPU_REGS_XCR0 5 macro
/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c1109 crs[VCPU_REGS_XCR0] = vcpu->vc_gueststate.vg_xcr0; in vcpu_readregs_vmx()
1266 crs[VCPU_REGS_XCR0] = vcpu->vc_gueststate.vg_xcr0; in vcpu_readregs_svm()
1389 vcpu->vc_gueststate.vg_xcr0 = crs[VCPU_REGS_XCR0]; in vcpu_writeregs_vmx()
1539 vcpu->vc_gueststate.vg_xcr0 = crs[VCPU_REGS_XCR0]; in vcpu_writeregs_svm()