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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dkernel.c90 int bddmaxnodesize; /* Maximum allowed number of nodes */ variable
271 bddmaxnodesize = 0;
572 int old = bddmaxnodesize;
573 bddmaxnodesize = size;
707 s->maxnodenum = bddmaxnodesize;
1349 if (bddnodesize >= bddmaxnodesize && bddmaxnodesize > 0)
1357 if (bddnodesize > bddmaxnodesize && bddmaxnodesize > 0)
1358 bddnodesize = bddmaxnodesize;
[all...]
H A Dkernel.h99 extern int bddmaxnodesize; /* Maximum allowed number of nodes */
H A Dreorder.c476 if (bddmaxnodesize > 0)
477 maxAllowed = MIN(best/5+best, bddmaxnodesize-bddmaxnodeincrease-2);
510 if (bddmaxnodesize > 0)
512 bddmaxnodesize-bddmaxnodeincrease-2);
538 if (bddmaxnodesize > 0)
540 bddmaxnodesize-bddmaxnodeincrease-2);

Completed in 36 milliseconds