Searched refs:dest_xcr0 (Results 1 – 1 of 1) sorted by relevance
159 uint64_t saved_xcr0, dest_xcr0; in ucode_cpuid_set_info() local174 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()