tag	line	file	source code
cp0_badvaddr	92	arch/mips/mm/fault.c	current->tss.cp0_badvaddr = address;
cp0_badvaddr	133	include/asm-mips/processor.h	unsigned long cp0_badvaddr;