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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_copy_phase.cpp105 unsigned truncated_n = (unsigned)(n < NSTARTS ? n : NSTARTS - 1);
148 if (n < NSTARTS)
354 for (unsigned i = 0; i < NSTARTS; i++)
356 lSpace->start_index = NSTARTS - 1;
H A Dmemmgr.h139 #define NSTARTS 10 macro
181 uintptr_t start[NSTARTS]; /* starting points for bit searches. */
H A Dmemmgr.cpp97 for (unsigned i = 0; i < NSTARTS; i++)

Completed in 92 milliseconds