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