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