linux/microblaze/print_pc.c

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