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