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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dstatespace.cxx55 fdd_extdomain(domain, 2);
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/money/
H A Dmoney.cxx21 fdd_extdomain(dom,11);
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dfdd.sig48 extDomain fdd_extdomain
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.h50 extern int fdd_extdomain(int*, int);
H A Dfdd.c102 PROTO {* int fdd_extdomain(int *dom, int num) *}
123 int fdd_extdomain(int *dom, int num) function
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c715 k = fdd_extdomain(v, size);

Completed in 40 milliseconds