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

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dpgalloc.c310 unsigned long range, bitmap_size; local
330 bitmap_size = ((max-min) >> (BMK_PCPU_PAGE_SHIFT+3)) + 1;
331 bitmap_size = bmk_round_page(bitmap_size);
333 min += bitmap_size;
343 bmk_memset(alloc_bitmap, ~0, bitmap_size);

Completed in 77 milliseconds