HelenOS sources

EFLAGS_IF         332 kernel/arch/ia32/include/arch/asm.h 	return ((read_eflags() & EFLAGS_IF) == 0);
EFLAGS_IF          76 kernel/arch/ia32/src/userspace.c 	      [eflags] "r" ((eflags & ~(EFLAGS_NT)) | EFLAGS_IF),
HelenOS homepage, sources at GitHub