Changes in kernel/arch/abs32le/include/istate.h [dc0b964:598f90e] in mainline

File:

• kernel/arch/abs32le/include/istate.h (modified) (2 diffs)

kernel/arch/abs32le/include/istate.h

@@ -37 +37 @@
 
 #ifdef KERNEL
-
 #include <typedefs.h>
 #include <verify.h>
 #include <trace.h>
-
-#else /* KERNEL */
-
+#else
 #include <sys/types.h>
-
 #define NO_TRACE
 #define REQUIRES_EXTENT_MUTABLE(arg)
 #define WRITES(arg)
-
-#endif /* KERNEL */
+#endif
 
 /*
@@ -68 +63 @@
            context originated from user space. */
         
-        return !(istate->ip & UINT32_C(0x80000000));
+        return !(istate->ip & 0x80000000);
 }