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

File:

• kernel/arch/amd64/include/istate.h (modified) (3 diffs)

kernel/arch/amd64/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
 
 /** This is passed to interrupt handlers */
@@ -66 +61 @@
         uint64_t r14;
         uint64_t r15;
-        uint64_t alignment;   /* align rbp_frame on multiple of 16 */
-        uint64_t rbp_frame;   /* imitation of frame pointer linkage */
-        uint64_t rip_frame;   /* imitation of return address linkage */
-        uint64_t error_word;  /* real or fake error word */
+        uint64_t alignment;     /* align rbp_frame on multiple of 16 */
+        uint64_t rbp_frame;     /* imitation of frame pointer linkage */
+        uint64_t rip_frame;     /* imitation of return address linkage */
+        uint64_t error_word;    /* real or fake error word */
         uint64_t rip;
         uint64_t cs;
         uint64_t rflags;
-        uint64_t rsp;         /* only if istate_t is from uspace */
-        uint64_t ss;          /* only if istate_t is from uspace */
+        uint64_t rsp;           /* only if istate_t is from uspace */
+        uint64_t ss;            /* only if istate_t is from uspace */
 } istate_t;
 
@@ -80 +75 @@
 NO_TRACE static inline int istate_from_uspace(istate_t *istate)
 {
-        return !(istate->rip & UINT64_C(0x8000000000000000));
+        return !(istate->rip & 0x8000000000000000);
 }