#include #include "libc.h" int getpagesize(void) { return PAGE_SIZE; }