tag	line	file	source code
tsaddr	754	arch/sparc/mm/sun4c.c	unsigned long tsaddr = (unsigned long) tsk;
tsaddr	755	arch/sparc/mm/sun4c.c	unsigned long page = BUCKET_PTE_PAGE(sun4c_get_pte(tsaddr));
tsaddr	756	arch/sparc/mm/sun4c.c	int entry = BUCKET_NUM(tsaddr);
tsaddr	758	arch/sparc/mm/sun4c.c	sun4c_flush_segment(tsaddr & SUN4C_REAL_PGDIR_MASK);
tsaddr	759	arch/sparc/mm/sun4c.c	sun4c_put_pte(tsaddr, 0);