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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c120 static BDD apply_rec(BDD, BDD);
517 res = apply_rec(l, r);
535 static BDD apply_rec(BDD l, BDD r) function
607 PUSHREF( apply_rec(LOW(l), LOW(r)) );
608 PUSHREF( apply_rec(HIGH(l), HIGH(r)) );
614 PUSHREF( apply_rec(LOW(l), r) );
615 PUSHREF( apply_rec(HIGH(l), r) );
620 PUSHREF( apply_rec(l, LOW(r)) );
621 PUSHREF( apply_rec(l, HIGH(r)) );
1515 PUSHREF( apply_rec(LO
[all...]

Completed in 34 milliseconds