# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1710004147 -3600
# Node ID 8d7f5868c697d3cc977b235540a6cfff780972f8
# Parent  f59a3ff3150cac6adb23b16e7ff3decdd4e0ad19
Employ generic capability index type, not the dataspace variant.

diff -r f59a3ff3150c -r 8d7f5868c697 libmem/lib/src/memory_incremental.cc
--- a/libmem/lib/src/memory_incremental.cc	Fri Mar 08 22:43:20 2024 +0100
+++ b/libmem/lib/src/memory_incremental.cc	Sat Mar 09 18:09:07 2024 +0100
@@ -52,7 +52,7 @@
     /* Attempt to allocate aligned memory. */
 
     void *current = NULL;
-    l4re_ds_t ds;
+    l4_cap_idx_t ds;
 
     /* Make the size appropriate for the invocation. */