pt_read_instr
return (mdb_amd64_next(t, p, psp->pr_reg[REG_RIP], pt_read_instr(t)));
psp->pr_reg[UESP], pt_read_instr(t)));
return (mdb_ia32_next(t, p, psp->pr_reg[EIP], pt_read_instr(t)));