write_eflags 322 kernel/arch/ia32/include/arch/asm.h write_eflags((uint32_t) ipl); write_eflags 306 kernel/arch/ia32/src/pm.c write_eflags(read_eflags() & ~(EFLAGS_IOPL | EFLAGS_NT));