src/user/malloc.nsh

/* malloc.nsc's public api -- see malloc.nsc. */
ptr malloc(u64 size);
void free(ptr p);