tag	line	file	source code
orig_ctx	350	arch/sparc/mm/sun4c.c	int orig_ctx, cur_ctx, flags;
orig_ctx	354	arch/sparc/mm/sun4c.c	orig_ctx = get_context();
orig_ctx	359	arch/sparc/mm/sun4c.c	set_context(orig_ctx);