Changes in uspace/lib/c/include/libc.h [63f8966:6b10dab] in mainline

File:

• uspace/lib/c/include/libc.h (modified) (2 diffs)

uspace/lib/c/include/libc.h

@@ -40 +40 @@
 #include <libarch/syscall.h>
 
+#ifdef __32_BITS__
+
+/** Explicit 64-bit arguments passed to syscalls. */
+typedef uint64_t sysarg64_t;
+
+#endif /* __32_BITS__ */
+
 #define __SYSCALL0(id) \
         __syscall0(0, 0, 0, 0, 0, 0, id)
@@ -53 +60 @@
         __syscall5(p1, p2, p3, p4, p5, 0, id)
 #define __SYSCALL6(id, p1, p2, p3, p4, p5, p6) \
-    __syscall6(p1, p2, p3, p4, p5, p6, id)
+        __syscall6(p1, p2, p3, p4, p5, p6, id)
 
 extern void __main(void *pcb_ptr);