HelenOS sources

read_eflags       278 kernel/arch/ia32/include/arch/asm.h 	return (ipl_t) read_eflags();
read_eflags       332 kernel/arch/ia32/include/arch/asm.h 	return ((read_eflags() & EFLAGS_IF) == 0);
read_eflags       306 kernel/arch/ia32/src/pm.c 	write_eflags(read_eflags() & ~(EFLAGS_IOPL | EFLAGS_NT));
read_eflags        56 kernel/arch/ia32/src/userspace.c 	uint32_t eflags = read_eflags();