HelenOS sources

EFLAGS_NT         306 kernel/arch/ia32/src/pm.c 	write_eflags(read_eflags() & ~(EFLAGS_IOPL | EFLAGS_NT));
EFLAGS_NT          70 kernel/arch/ia32/src/userspace.c 	    : [eflags_mask] "i" (~EFLAGS_NT),
EFLAGS_NT          74 kernel/arch/ia32/src/userspace.c 	      [eflags] "r" ((eflags & ~(EFLAGS_NT)) | EFLAGS_IF),