arch_reserved_kernel_pages 2221 include/linux/mm.h extern unsigned long arch_reserved_kernel_pages(void);
arch_reserved_kernel_pages 8094 mm/page_alloc.c 		numentries -= arch_reserved_kernel_pages();