[PATCH 1/1] get page size using sysconf (_SC_PAGESIZE) instead of PAGE_SIZE

[Tom Tromey]

>>>>> "Zied" == Zied Guermazi <zied.guermazi@trande.de> writes:

Zied> PAGE_SIZE is not defined in all build configurations, e.g cross compiling
Zied> for aarch64 GNU/Linux machine. This patch gets the value at runtime using 
Zied> posix call sysconf (_SC_PAGESIZE)

Thanks.  I think this is ok.

Tom