tag	line	file	source code
sun4c_mk_pte	495	arch/sparc/mm/sun4c.c	*ptep = sun4c_mk_pte(vaddr, SUN4C_PAGE_KERNEL);
sun4c_mk_pte	591	arch/sparc/mm/sun4c.c	page_entry = pte_val(sun4c_mk_pte(PAGE_OFFSET, SUN4C_PAGE_READONLY));
sun4c_mk_pte	672	arch/sparc/mm/sun4c.c	mk_pte = sun4c_mk_pte;