1.1 --- a/libsystypes/include/systypes/base.h Tue Sep 13 00:47:33 2022 +0200
1.2 +++ b/libsystypes/include/systypes/base.h Tue Sep 13 00:52:06 2022 +0200
1.3 @@ -27,23 +27,21 @@
1.4
1.5 EXTERN_C_BEGIN
1.6
1.7 -/* unsigned long is a 64-bit type.
1.8 - See: pkg/l4re-core/l4sys/include/l4int.h */
1.9 -
1.10 /* Types for file access (access flags, offsets) and IPC operations. */
1.11
1.12 -typedef unsigned long flags_t; /* see systypes/fcntl.h */
1.13 -typedef unsigned long offset_t;
1.14 +typedef l4_uint64_t flags_t; /* see systypes/fcntl.h */
1.15 +typedef l4_uint64_t offset_t;
1.16 typedef l4_addr_t address_t; /* unsigned long */
1.17
1.18 /* Dataspace mapping flags.
1.19 See: pkg/l4re-core/l4re_c/include/dataspace.h */
1.20
1.21 -typedef unsigned long map_flags_t; /* 64-bit */
1.22 +typedef l4_uint64_t map_address_t;
1.23 +typedef unsigned long map_flags_t;
1.24
1.25 /* Types and values for notification. */
1.26
1.27 -typedef unsigned long notify_flags_t;
1.28 +typedef l4_uint64_t notify_flags_t;
1.29
1.30 enum notify_flags
1.31 {