T243: Fix vnode_objsize() to return 1024 for ARM_l2 vnodes
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 15 Aug 2016 09:34:22 +0000 (11:34 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 15 Aug 2016 11:59:50 +0000 (13:59 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

include/barrelfish_kpi/capabilities.h

index 3ab6002..8b687bf 100644 (file)
@@ -177,9 +177,7 @@ static inline size_t vnode_objsize(enum objtype type)
     }
     else if (type == ObjType_VNode_ARM_l2)
     {
-        // XXX: should be 1024, once we get around to untangling the ARMv7
-        // page table mess, cf. T243.
-        return 4096;
+        return 1024;
     }
 
     assert(0 && !"Page table size unknown.");