Symbol: timer_delete_grabbed
usr/src/uts/common/os/timer.c
799
timer_delete_grabbed(p, i, it);
usr/src/uts/common/os/timer.c
889
timer_delete_grabbed(p, tid, it);