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

/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c37 word_t nodeDepth, nodeOffset, nodeWindow; local
70 nodeWindow = getSyscallArg(5, buffer);
143 if (nodeWindow < 1 || nodeWindow > CONFIG_RETYPE_FAN_OUT_LIMIT) {
145 (int)nodeWindow);
151 if (nodeWindow > nodeSize - nodeOffset) {
162 slots.length = nodeWindow;
163 for (i = nodeOffset; i < nodeOffset + nodeWindow; i++) {
204 if ((untypedFreeBytes >> objectSize) < nodeWindow) {
207 (word_t)nodeWindow,
[all...]

Completed in 25 milliseconds