Searched refs:maxobjs (Results 1 - 1 of 1) sorted by last modified time

/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c1424 size_t maxobjs; local
1522 maxobjs = caps_max_numobjs(type, get_size(src_cap), objsize);
1523 debug(SUBSYS_CAPS, "maximum possible new object count: %zu\n", maxobjs);
1525 if (maxobjs == 0) {
1526 debug(SUBSYS_CAPS, "caps_retype: maxobjs == 0\n");
1530 if (count > maxobjs) {
1531 debug(SUBSYS_CAPS, "caps_retype: maxobjs = %zu, count = %zu\n", maxobjs, count);
1534 // from here: count <= maxobjs
1535 assert(count <= maxobjs);
[all...]

Completed in 80 milliseconds