acrn-kernel/tools/lib/zalloc.c