2f820f3b
b20760c0
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); }