Symbol: set_eflags
headers/private/kernel/arch/x86/arch_system_info.h
17
void set_eflags(uint32 value);
src/system/boot/platform/bios_ia32/cpu.cpp
41
set_eflags(get_eflags() | CPUID_EFLAGS);