linux/crisv32/print_pc.c

long pc;
if (upeek(tcp->pid, 4*PT_ERP, &pc) < 0) {
	PRINTBADPC;
	return;
}
tprintf(fmt, pc);