1 2 3 4 5 6 7 8
#define _BSD_SOURCE #include <stdlib.h> #include "libc.h" void *valloc(size_t size) { return memalign(PAGE_SIZE, size); }