Searched refs:vg_xcr0 (Results 1 – 2 of 2) sorted by relevance
1109 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()1681 vcpu->vc_gueststate.vg_xcr0 = XFEATURE_X87 & xsave_mask; in vcpu_reset_regs_svm()2465 vcpu->vc_gueststate.vg_xcr0 = XFEATURE_X87 & xsave_mask; in vcpu_reset_regs_vmx()3358 if (xsetbv_user(0, vcpu->vc_gueststate.vg_xcr0)) { in vmm_fpurestore()3361 __func__, vcpu->vc_gueststate.vg_xcr0, xsave_mask); in vmm_fpurestore()3381 vcpu->vc_gueststate.vg_xcr0 = xgetbv(0); in vmm_fpusave()5464 vcpu->vc_gueststate.vg_xcr0 = val; in vmm_handle_xsetbv()[all …]
773 uint64_t vg_xcr0; /* 0x98 */ member