tag	line	file	source code
BUCKET_PTE_PAGE	743	arch/sparc/mm/sun4c.c	page[0] = BUCKET_PTE_PAGE(sun4c_get_pte(stack));
BUCKET_PTE_PAGE	744	arch/sparc/mm/sun4c.c	page[1] = BUCKET_PTE_PAGE(sun4c_get_pte(stack+PAGE_SIZE));
BUCKET_PTE_PAGE	755	arch/sparc/mm/sun4c.c	unsigned long page = BUCKET_PTE_PAGE(sun4c_get_pte(tsaddr));