linux/ia64/print_pc.c

tprintf(fmt, ia64_regs.br[0]);