tag	line	file	source code
BUCKET_ADDR	686	arch/sparc/mm/sun4c.c	free_task_segment(BUCKET_ADDR(entry));
BUCKET_ADDR	709	arch/sparc/mm/sun4c.c	addr = BUCKET_ADDR(entry);