tag	line	file	source code
MMU_get_page	34	arch/ppc/mm/init.c	pte *MMU_get_page(void);
MMU_get_page	528	arch/ppc/mm/init.c	(pte **)tss->pg_tables = (pte **)MMU_get_page();
MMU_get_page	538	arch/ppc/mm/init.c	pd = (pte *)MMU_get_page();