addupc_task
addupc_task(td, td->td_profil_addr, td->td_profil_ticks);
addupc_task(td, TRAPF_PC(frame), td->td_pticks * psratio);
void addupc_task(struct thread *td, uintfptr_t pc, u_int ticks);