read_vpe_c0_epc    84 arch/mips/kernel/mips-mt.c 				       i, read_vpe_c0_epc(),
read_vpe_c0_epc    85 arch/mips/kernel/mips-mt.c 				       (void *) read_vpe_c0_epc());