tag	line	file	source code
sun4c_get_pte	203	arch/sparc/mm/sun4c.c	(sun4c_get_pte((unsigned long) &start) | _SUN4C_PAGE_NOCACHE));
sun4c_get_pte	251	arch/sparc/mm/sun4c.c	if(sun4c_get_pte(start) & _SUN4C_PAGE_VALID)
sun4c_get_pte	252	arch/sparc/mm/sun4c.c	sun4c_put_pte(start, (sun4c_get_pte(start) | bits_on) &
sun4c_get_pte	743	arch/sparc/mm/sun4c.c	page[0] = BUCKET_PTE_PAGE(sun4c_get_pte(stack));
sun4c_get_pte	744	arch/sparc/mm/sun4c.c	page[1] = BUCKET_PTE_PAGE(sun4c_get_pte(stack+PAGE_SIZE));
sun4c_get_pte	755	arch/sparc/mm/sun4c.c	unsigned long page = BUCKET_PTE_PAGE(sun4c_get_pte(tsaddr));
sun4c_get_pte	936	arch/sparc/mm/sun4c.c	if(sun4c_get_pte(page) & _SUN4C_PAGE_VALID) {