libmem/lib/src/memory_incremental.cc | raw changeset files shortlog |
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