Rename struct slab_alloc to struct slab_allocator.

[barrelfish] / include / target / arm / barrelfish / pmap_target.h

diff --git a/include/target/arm/barrelfish/pmap_target.h b/include/target/arm/barrelfish/pmap_target.h
index 88666b0..36fc07d 100644 (file)
--- a/include/target/arm/barrelfish/pmap_target.h
+++ b/include/target/arm/barrelfish/pmap_target.h
@@ -41,7 +41,7 @@ struct pmap_arm {
     struct vregion vregion;     ///< Vregion used to reserve virtual address for metadata
     genvaddr_t vregion_offset;  ///< Offset into amount of reserved virtual address used
     struct vnode root;          ///< Root of the vnode tree
-    struct slab_alloc slab;     ///< Slab allocator for the vnode lists
+    struct slab_allocator slab;     ///< Slab allocator for the vnode lists
     uint8_t slab_buffer[512];   ///< Initial buffer to back the allocator
 };