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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dcppext.cxx66 static void fdd_printset_rec(ostream &, int, int *);
290 fdd_printset_rec(o, r.root, set);
419 static void fdd_printset_rec(ostream &o, int r, int *set) function
488 fdd_printset_rec(o, LOW(r), set);
491 fdd_printset_rec(o, HIGH(r), set);
H A Dfdd.c45 static void fdd_printset_rec(FILE *, int, int *);
728 fdd_printset_rec(ofile, r, set);
733 static void fdd_printset_rec(FILE *ofile, int r, int *set) function
802 fdd_printset_rec(ofile, LOW(r), set);
805 fdd_printset_rec(ofile, HIGH(r), set);

Completed in 35 milliseconds