Home
last modified time | relevance | path

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

/xnu-11417.140.69/osfmk/i386/
H A Ducode.c159 uint64_t saved_xcr0, dest_xcr0; in ucode_cpuid_set_info() local
174 dest_xcr0 = (fpu_capability == AVX512) ? AVX512_XMASK : AVX_XMASK; in ucode_cpuid_set_info()
176 if (saved_xcr0 != dest_xcr0) { in ucode_cpuid_set_info()
178 xsetbv(dest_xcr0 >> 32, dest_xcr0 & 0xFFFFFFFFUL); in ucode_cpuid_set_info()