tag	line	file	source code
afstatus	436	arch/sparc/mm/fault.c	unsigned long afstatus,
afstatus	451	arch/sparc/mm/fault.c	printk("afsr = %08lx afaddr = %08lx\n", afstatus, afaddr);