1.1 --- a/libsystypes/include/systypes/base.h Thu Mar 07 22:41:40 2024 +0100
1.2 +++ b/libsystypes/include/systypes/base.h Thu Mar 07 23:50:26 2024 +0100
1.3 @@ -46,6 +46,18 @@
1.4 typedef l4_uint64_t map_address_t;
1.5 typedef unsigned long map_flags_t;
1.6
1.7 +/* Dataspace types.
1.8 + See: pkg/l4re-core/l4re_c/include/dataspace.h */
1.9 +
1.10 +typedef unsigned long ds_flags_t;
1.11 +
1.12 +typedef struct
1.13 +{
1.14 + offset_t size;
1.15 + ds_flags_t flags;
1.16 +
1.17 +} ds_stats_t;
1.18 +
1.19 /* Conversions. */
1.20
1.21 map_flags_t map_flags_for_fault(l4_umword_t flags);