Rename struct slab_alloc to struct slab_allocator.

[barrelfish] / include / arch / arm / barrelfish / core_state_arch.h

diff --git a/include/arch/arm/barrelfish/core_state_arch.h b/include/arch/arm/barrelfish/core_state_arch.h
index 8bbd2a2..a05fd59 100644 (file)
--- a/include/arch/arm/barrelfish/core_state_arch.h
+++ b/include/arch/arm/barrelfish/core_state_arch.h
@@ -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 {