Searched defs:objsize_vnode (Results 1 - 3 of 3) sorted by path

/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dstartup_arch.c376 size_t objsize_vnode = vnode_objsize(ObjType_VNode_ARM_l2); local
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dstartup_arch.c430 size_t objsize_vnode = vnode_objsize(ObjType_VNode_AARCH64_l1); local
442 size_t objsize_vnode = vnode_objsize(ObjType_VNode_AARCH64_l2); local
454 size_t objsize_vnode = vnode_objsize(ObjType_VNode_AARCH64_l3); local
[all...]
/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c687 size_t objsize_vnode = vnode_objsize(type); local
707 size_t objsize_vnode = vnode_objsize(type); local
725 size_t objsize_vnode = vnode_objsize(type); local
744 size_t objsize_vnode = vnode_objsize(type); local
763 size_t objsize_vnode = vnode_objsize(type); local
782 size_t objsize_vnode = vnode_objsize(type); local
800 size_t objsize_vnode = vnode_objsize(type); local
818 size_t objsize_vnode = vnode_objsize(type); local
842 size_t objsize_vnode = vnode_objsize(type); local
867 size_t objsize_vnode = vnode_objsize(type); local
885 size_t objsize_vnode = vnode_objsize(type); local
903 size_t objsize_vnode = vnode_objsize(type); local
921 size_t objsize_vnode = vnode_objsize(type); local
[all...]

Completed in 142 milliseconds