Changes in kernel/arch/ia32/include/istate.h [598f90e:dc0b964] 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
+
+#else /* KERNEL */
+
 #include <sys/types.h>
+
 #define NO_TRACE
-#endif
+
+#endif /* KERNEL */
 
 typedef struct istate {
@@ -77 +82 @@
 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
 {
-        return !(istate->eip & 0x80000000);
+        return !(istate->eip & UINT32_C(0x80000000));
 }