#define _BSD_SOURCE #include #include "libc.h" void *valloc(size_t size) { return memalign(PAGE_SIZE, size); }