Clean up profiler configure and usage functions.
[akaros.git] / kern / src / dmapool.c
2015-09-23 Xiao JiaPort dmapool from Linux