Symbol: CPUID_EFLAGS
src/system/boot/platform/bios_ia32/cpu.cpp
39
if ((get_eflags() & CPUID_EFLAGS) == 0) {
src/system/boot/platform/bios_ia32/cpu.cpp
41
set_eflags(get_eflags() | CPUID_EFLAGS);
src/system/boot/platform/bios_ia32/cpu.cpp
42
if ((get_eflags() & CPUID_EFLAGS) == 0)