totalhigh_pages
static inline unsigned long totalhigh_pages(void)
static inline unsigned long totalhigh_pages(void) { return 0; }