ptimers_free
ptimers_free(p, TIMERS_POSIX);
ptimers_free(p, TIMERS_ALL);
void ptimers_free(struct proc *, int);