Symbol: IA32_XCR0_AVX
src/system/kernel/arch/x86/arch_cpu.cpp
1947
gXsaveMask |= (cpuid.regs.eax & IA32_XCR0_AVX);
src/system/kernel/arch/x86/arch_cpu.cpp
1963
if ((gXsaveMask & IA32_XCR0_AVX) != 0) {
src/system/kernel/arch/x86/arch_cpu.cpp
1964
if ((gXsaveMask & ~(IA32_XCR0_X87 | IA32_XCR0_SSE | IA32_XCR0_AVX)) == 0) {