Symbol: get_eflags
headers/private/kernel/arch/x86/arch_system_info.h
16
uint32 get_eflags(void);
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)