T238: fix renaming mistake
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 25 May 2016 11:00:24 +0000 (13:00 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 25 May 2016 11:00:24 +0000 (13:00 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

include/barrelfish_kpi/capabilities.h

index 1d5805e..5509d7d 100644 (file)
@@ -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");