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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c295 static void checkresize(void) function
416 checkresize();
530 checkresize();
756 checkresize();
931 checkresize();
1020 checkresize();
1142 checkresize();
1266 checkresize();
1379 checkresize();
1460 checkresize();
[all...]

Completed in 86 milliseconds