tag	line	file	source code
write_32bit_cp0_register	344	arch/mips/kernel/traps.c	write_32bit_cp0_register(CP0_FRAMEMASK, 0);
write_32bit_cp0_register	166	include/asm-mips/mipsregs.h	write_32bit_cp0_register(register, res);        \