Searched refs:gxcr0 (Results 1 – 2 of 2) sorted by relevance
579 uint64_t gxcr0; member938 cpudata->gprs[NVMM_X64_GPR_RBX] = nvmm_x86_xsave_size(cpudata->gxcr0); in svm_inkernel_handle_cpuid()1348 cpudata->gxcr0 = val; in svm_exit_xsetbv()1383 x86_set_xcr(0, cpudata->gxcr0); in svm_vcpu_guest_fpu_enter()1893 cpudata->gxcr0 = state->crs[NVMM_X64_CR_XCR0]; in svm_vcpu_setstate()1894 cpudata->gxcr0 &= svm_xcr0_mask; in svm_vcpu_setstate()1895 cpudata->gxcr0 |= XCR0_X87; in svm_vcpu_setstate()2036 state->crs[NVMM_X64_CR_XCR0] = cpudata->gxcr0; in svm_vcpu_getstate()
826 uint64_t gxcr0; member1418 cpudata->gprs[NVMM_X64_GPR_RBX] = nvmm_x86_xsave_size(cpudata->gxcr0); in vmx_inkernel_handle_cpuid()2006 cpudata->gxcr0 = val; in vmx_exit_xsetbv()2063 x86_set_xcr(0, cpudata->gxcr0); in vmx_vcpu_guest_fpu_enter()2653 cpudata->gxcr0 = state->crs[NVMM_X64_CR_XCR0]; in vmx_vcpu_setstate()2654 cpudata->gxcr0 &= vmx_xcr0_mask; in vmx_vcpu_setstate()2655 cpudata->gxcr0 |= XCR0_X87; in vmx_vcpu_setstate()2800 state->crs[NVMM_X64_CR_XCR0] = cpudata->gxcr0; in vmx_vcpu_getstate()