Searched defs:bmk_xmalloc_bmk (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dmemalloc.c218 bmk_xmalloc_bmk(unsigned long howmuch) function

Completed in 24 milliseconds