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

/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dfdd.sig54 vars fdd_vars
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.h56 extern int* fdd_vars(int);
H A Dcppext.cxx440 int *vars = fdd_vars(n);
H A Dfdd.c329 PROTO {* int *fdd_vars(int var) *}
339 int *fdd_vars(int v) function
H A Dbvec.c216 int *bddvar = fdd_vars(var);
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c758 v = fdd_vars(Int_val(var));

Completed in 41 milliseconds