2 months ago | Paul Boddie | raw files shortlog changelog graph | Employ generic capability index type, not the dataspace variant. | |
libmem/lib/src/memory_incremental.cc (file) |
1.1 --- a/libmem/lib/src/memory_incremental.cc Fri Mar 08 22:43:20 2024 +0100 1.2 +++ b/libmem/lib/src/memory_incremental.cc Sat Mar 09 18:09:07 2024 +0100 1.3 @@ -52,7 +52,7 @@ 1.4 /* Attempt to allocate aligned memory. */ 1.5 1.6 void *current = NULL; 1.7 - l4re_ds_t ds; 1.8 + l4_cap_idx_t ds; 1.9 1.10 /* Make the size appropriate for the invocation. */ 1.11