tag	line	file	source code
dvmapte	916	arch/sparc/mm/sun4c.c	unsigned long dvmapte = start_mem - PAGE_OFFSET;
dvmapte	919	arch/sparc/mm/sun4c.c	dvmapte = ((dvmapte>>PAGE_SHIFT) & 0xffff);
dvmapte	920	arch/sparc/mm/sun4c.c	dvmapte |= (_SUN4C_PAGE_VALID |
dvmapte	923	arch/sparc/mm/sun4c.c	put_pte(addr, dvmapte);