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

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dalloc.c84 word_t node_end = node_start + current->size - 1; local
85 assert(node_start < node_end);
86 assert(IS_ALIGNED(node_end + 1, ALLOC_CHUNK_SIZE_BITS));
96 && desired_end <= node_end
100 if (desired_end != node_end) {
101 assert(node_end - desired_end >= ALLOC_CHUNK_SIZE_BITS);
103 new_node->size = node_end - desired_end;
/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.c101 word_t node_end = node_start + current->size - 1; local
102 assert(node_start < node_end);
112 && desired_end <= node_end
117 if (desired_end != node_end) {
118 assert(node_end - desired_end >= ALLOC_CHUNK_SIZE_BITS);
120 new_node->size = node_end - desired_end;

Completed in 42 milliseconds