T238: fix renaming mistake

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/include/barrelfish_kpi/capabilities.h b/include/barrelfish_kpi/capabilities.h
index 1d5805e..5509d7d 100644 (file)
--- a/include/barrelfish_kpi/capabilities.h
+++ b/include/barrelfish_kpi/capabilities.h
@@ -79,7 +79,7 @@ static inline bool type_is_vnode(enum objtype type)
  *
  * @return Number of bits a VNode object occupies.
  */
-static inline size_t vnode_objsize(enum objtype type)
+static inline size_t vnode_objbits(enum objtype type)
 {
     // This function should be emitted by hamlet or somesuch.
     STATIC_ASSERT(46 == ObjType_Num, "Check VNode definitions");