sysarg64_t 54 kernel/generic/include/typedefs.h typedef uint64_t sysarg64_t; sysarg64_t 45 uspace/lib/c/include/libc.h typedef uint64_t sysarg64_t; sysarg64_t 45 uspace/lib/posix/include/libc/libc.h typedef uint64_t sysarg64_t;HelenOS homepage, sources at GitHub