Index: kernel/arch/ia32/src/asm.S
===================================================================
--- kernel/arch/ia32/src/asm.S	(revision f4946ded698ec72fa331f30e4282c8b2430e7639)
+++ kernel/arch/ia32/src/asm.S	(revision efbd09462384e9ff4983ce8e0910168f185076f2)
@@ -146,13 +146,4 @@
 	wrmsr
 	ret
-
-/** Clear nested flag
- *
- */
-.macro CLEAR_NT_FLAG
-	pushfl
-	andl $0xffffbfff, (%esp)
-	popfl
-.endm
 
 #define ISTATE_OFFSET_EDX         0
@@ -317,6 +308,4 @@
 	call syscall_handler
 			
-	CLEAR_NT_FLAG
-
 	/*
 	 * Restore the selector registers.
@@ -442,6 +431,4 @@
 		addl $8, %esp  /* clear arguments from the stack */
 		
-		CLEAR_NT_FLAG
-		
 		/*
 		 * Restore the selector registers.