ADDR_FORMAT
pt_dump_seq_printf(st->seq, ADDR_FORMAT "-" ADDR_FORMAT " ",
pt_dump_seq_printf(st->seq, " " ADDR_FORMAT " ", st->start_pa);