Searched refs:XFEATURE_ENABLED_X87 (Results 1 – 5 of 5) sorted by relevance
113 if ((val & XFEATURE_ENABLED_X87) == 0) { in validate_guest_xcr0()
422 vcpu->guest_xcr0 = XFEATURE_ENABLED_X87; in vcpu_init()3140 vcpu->guest_xcr0 = XFEATURE_ENABLED_X87; in vcpu_arch_reset()
95 #define XFEATURE_ENABLED_X87 0x00000001 macro106 (XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE | XFEATURE_ENABLED_AVX)
102 #define XFEATURE_ENABLED_X87 0x00000001 macro113 (XFEATURE_ENABLED_X87 | XFEATURE_ENABLED_SSE | XFEATURE_ENABLED_AVX)
1520 if (!(xcrval & XFEATURE_ENABLED_X87)) { in vmx_emulate_xsetbv()