Rename struct slab_alloc to struct slab_allocator.
[barrelfish] / include / arch / x86 / barrelfish / core_state_arch.h
index 2dcb577..9b64b4a 100644 (file)
@@ -27,8 +27,8 @@ struct pinned_state {
     struct memobj_pinned memobj;
     struct vregion vregion;
     lvaddr_t offset;
-    struct slab_alloc vregion_list_slab;
-    struct slab_alloc frame_list_slab;
+    struct slab_allocator vregion_list_slab;
+    struct slab_allocator frame_list_slab;
 };
 
 struct core_state_arch {