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