__totalhigh_pages
unsigned long __totalhigh_pages(void);
return __totalhigh_pages();
EXPORT_SYMBOL(__totalhigh_pages);