Searched refs:numobjs (Results 1 - 1 of 1) sorted by path

/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c1391 size_t numobjs = caps_max_numobjs(type, bytes, objsize); local
1392 assert(numobjs > 0);
1396 // numobjs = 1;
1400 errval_t err = caps_create(type, addr, bytes, objsize, numobjs, owner, caps);
1406 set_init_mapping(caps, numobjs);

Completed in 49 milliseconds