1#define _GNU_SOURCE
2#include "libc.h"
3#include <unistd.h>
4
5int getpagesize(void) {
6    return PAGE_SIZE;
7}
8