#include <unistd.h> int getpagesize(void);
#include <stdio.h> #include <unistd.h> int main() { printf ("page size = %d\n", getpagesize()); return 0; }
./getpagesize page size = 4096