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)
commit4658fbf0dcf4009ad1c37dccb2fa32d146c8c912
tree372287fcc9f0d0c16c078c1d74f1efbb5a4694d8
parentc9ab3343e3f9458d560b8bb16c044f1daaefec68
T243: Fix vnode_objsize() to return 1024 for ARM_l2 vnodes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/barrelfish_kpi/capabilities.h