linux/mips/print_pc.c

tprintf(fmt, (unsigned long) mips_REG_EPC);