Searched refs:HAVE_GETPAGESIZE (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h104 #undef HAVE_GETPAGESIZE macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dosmemunix.cpp86 #ifndef HAVE_GETPAGESIZE
H A Dstatistics.cpp94 #ifndef HAVE_GETPAGESIZE

Completed in 93 milliseconds