Searched refs:bdd_pairs_init (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ | ||
H A D | kernel.h | 203 extern void bdd_pairs_init(void); |
H A D | pairs.c | 50 void bdd_pairs_init(void) function |
H A D | kernel.c | 230 bdd_pairs_init(); |
Completed in 79 milliseconds