taglinefilesource code
MMU_get_page33arch/ppc/mm/init.cpte *MMU_get_page(void);
MMU_get_page532arch/ppc/mm/init.c(pte **)tss->pg_tables = (pte **)MMU_get_page();
MMU_get_page542arch/ppc/mm/init.cpd = (pte *)MMU_get_page();