1570af302Sopenharmony_ci#define _BSD_SOURCE 2570af302Sopenharmony_ci#include <stdlib.h> 3570af302Sopenharmony_ci#include "libc.h" 4570af302Sopenharmony_ci 5570af302Sopenharmony_civoid *valloc(size_t size) 6570af302Sopenharmony_ci{ 7570af302Sopenharmony_ci return memalign(PAGE_SIZE, size); 8570af302Sopenharmony_ci} 9