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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dcppext.cxx70 static bddstrmhandler strmhandler_fdd; variable
86 strmhandler_fdd = NULL;
451 if (strmhandler_fdd)
452 strmhandler_fdd(o, n);
528 bddstrmhandler old = strmhandler_fdd;
529 strmhandler_fdd = handler;

Completed in 27 milliseconds