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

/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.c106 word_t desired_start = node_start; local
107 word_t desired_end = desired_start + size - 1;
111 if (desired_start >= node_start
113 && desired_start < desired_end) {
127 if (desired_start != node_start) {
128 current->size = desired_start - node_start;
135 return (void *)desired_start;
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dalloc.c90 word_t desired_start = align_up(node_start, alignment_bits); local
91 word_t desired_end = desired_start + size - 1;
95 if (desired_start >= node_start
97 && desired_start < desired_end) {
110 if (desired_start != node_start) {
111 current->size = desired_start - node_start;
118 return (void *)desired_start;

Completed in 37 milliseconds