__alloc_from_pool
addr = __alloc_from_pool(size, &page);
return __alloc_from_pool(args->size, ret_page);