Searched refs:nodeWindow (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/src/object/
H A Duntyped.c31 word_t nodeDepth, nodeOffset, nodeWindow; local
64 nodeWindow = getSyscallArg(5, buffer);
146 if (nodeWindow < 1 || nodeWindow > CONFIG_RETYPE_FAN_OUT_LIMIT) {
148 (int)nodeWindow);
154 if (nodeWindow > nodeSize - nodeOffset) {
165 slots.length = nodeWindow;
166 for (i = nodeOffset; i < nodeOffset + nodeWindow; i++) {
207 if ((untypedFreeBytes >> objectSize) < nodeWindow) {
210 (word_t)nodeWindow,
[all...]

Completed in 24 milliseconds