Symbol: eventfd_wake
sys/kern/sys_eventfd.c
238
eventfd_wake(efd, false);
sys/kern/sys_eventfd.c
283
eventfd_wake(efd, true);