free_init_pages  1136 arch/x86/mm/init_32.c void free_init_pages(char *what, unsigned long begin, unsigned long end)
free_init_pages   923 arch/x86/mm/init_64.c void free_init_pages(char *what, unsigned long begin, unsigned long end)