addupc_intr
addupc_intr(td, ps->ps_pc[0], 1);
addupc_intr(td, pc, cnt);
void addupc_intr(struct thread *td, uintfptr_t pc, u_int ticks);