barrelfish-2018-10-04/kernel/capabilities.c

324  * \param srcsize       Size of memory area in bytes
333 static size_t caps_max_numobjs(enum objtype type, gensize_t srcsize, gensize_t objsize)
340         if (objsize > srcsize) {
343             return srcsize / objsize;
347         if (srcsize < OBJSIZE_L2CNODE || objsize < OBJSIZE_L2CNODE) {
351             return srcsize / objsize;
355         if (srcsize < OBJSIZE_L2CNODE || objsize != OBJSIZE_L2CNODE) {
359             return srcsize / objsize;
377         if (srcsize < vnode_objsize(type)) {
380             return srcsize / vnode_objsize(type);
385         if (srcsize < OBJSIZE_DISPATCHER) {
388             return srcsize / OBJSIZE_DISPATCHER;
392         if (srcsize < OBJSIZE_KCB) {
395             return srcsize / OBJSIZE_KCB;