Searched refs:Domain_done (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ | ||
H A D | fdd.c | 62 static void Domain_done(Domain*); 90 Domain_done(&domain[n]); 1026 static void Domain_done(Domain* d) function |
Completed in 67 milliseconds