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

/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c42 word_t nodeSize; local
134 nodeSize = 1ul << cap_cnode_cap_get_capCNodeRadix(nodeCap);
135 if (nodeOffset > nodeSize - 1) {
140 current_syscall_error.rangeErrorMax = nodeSize - 1;
151 if (nodeWindow > nodeSize - nodeOffset) {
155 current_syscall_error.rangeErrorMax = nodeSize - nodeOffset;
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DKeyMap.sml158 fun nodeSize (Node {size = x, ...}) = x; function
163 | T x => nodeSize x;
769 size <= nodeSize node2 andalso
H A DMap.sml150 fun nodeSize (Node {size = x, ...}) = x; function
155 | T x => nodeSize x;
761 size <= nodeSize node2 andalso
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DKeyMap.sml158 fun nodeSize (Node {size = x, ...}) = x; function
163 | T x => nodeSize x;
769 size <= nodeSize node2 andalso
H A DMap.sml150 fun nodeSize (Node {size = x, ...}) = x; function
155 | T x => nodeSize x;
761 size <= nodeSize node2 andalso

Completed in 48 milliseconds