Symbol: timerfd_jumped
sys/kern/kern_tc.c
1316
timerfd_jumped();
sys/sys/timerfd.h
61
void timerfd_jumped(void);