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

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c254 /* look for a contiguous range that is free.
257 size_t contiguous = 0; local
262 while (contiguous < num_pages) {
269 contiguous++;
273 contiguous = 0;
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dvspace.c254 /* look for a contiguous range that is free.
257 size_t contiguous = 0; local
262 while (contiguous < num_pages) {
269 contiguous++;
273 contiguous = 0;
/seL4-refos-master/kernel/manual/parts/
H A Dbootup.tex161 contiguous, and is made up of the smallest frames available on the architecture.

Completed in 101 milliseconds