From 674da5c802109a6d7b2b942843ff3c667d511c7e Mon Sep 17 00:00:00 2001 From: Simon Gerber Date: Wed, 25 May 2016 13:00:24 +0200 Subject: [PATCH] T238: fix renaming mistake Signed-off-by: Simon Gerber --- include/barrelfish_kpi/capabilities.h | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/include/barrelfish_kpi/capabilities.h b/include/barrelfish_kpi/capabilities.h index 1d5805e..5509d7d 100644 --- 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"); -- 1.7.2.5