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

/seL4-test-master/kernel/src/object/
H A Duntyped.c36 word_t nodeSize; local
137 nodeSize = 1ul << cap_cnode_cap_get_capCNodeRadix(nodeCap);
138 if (nodeOffset > nodeSize - 1) {
143 current_syscall_error.rangeErrorMax = nodeSize - 1;
154 if (nodeWindow > nodeSize - nodeOffset) {
158 current_syscall_error.rangeErrorMax = nodeSize - nodeOffset;

Completed in 29 milliseconds