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