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

File:

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

kernel/arch/ia32/include/istate.h

@@ -37 +37 @@
 
 #ifdef KERNEL
-
 #include <typedefs.h>
 #include <trace.h>
-
-#else /* KERNEL */
-
+#else
 #include <sys/types.h>
-
 #define NO_TRACE
-
-#endif /* KERNEL */
+#endif
 
 typedef struct istate {
@@ -82 +77 @@
 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
 {
-        return !(istate->eip & UINT32_C(0x80000000));
+        return !(istate->eip & 0x80000000);
 }