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

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dpgalloc.c116 allocated_in_map(void *addr) function
222 if (allocated_in_map((void *)addr))
239 bmk_assert(!allocated_in_map(head));
419 bmk_assert(allocated_in_map(p));
445 bmk_assert(allocated_in_map(p));
460 || allocated_in_map(to_merge_ch)
470 || allocated_in_map(to_merge_ch)

Completed in 27 milliseconds