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

/seL4-test-master/kernel/src/object/
H A Duntyped.c31 word_t nodeDepth, nodeOffset, nodeWindow; local
63 nodeOffset = getSyscallArg(4, buffer);
138 if (nodeOffset > nodeSize - 1) {
140 (int)nodeOffset);
154 if (nodeWindow > nodeSize - nodeOffset) {
158 current_syscall_error.rangeErrorMax = nodeSize - nodeOffset;
164 slots.offset = nodeOffset;
166 for (i = nodeOffset; i < nodeOffset + nodeWindow; i++) {

Completed in 77 milliseconds