Symbol: timerfd_curval
sys/kern/sys_timerfd.c
509
timerfd_curval(tfd, curr_value);
sys/kern/sys_timerfd.c
546
timerfd_curval(tfd, old_value);