Symbol: EVENTFD_MAXVAL
sys/kern/sys_eventfd.c
264
if (write_value > EVENTFD_MAXVAL) {
sys/kern/sys_eventfd.c
271
KASSERT(efd->efd_val <= EVENTFD_MAXVAL);
sys/kern/sys_eventfd.c
272
while ((EVENTFD_MAXVAL - efd->efd_val) < write_value) {
sys/kern/sys_eventfd.c
280
KASSERT(efd->efd_val <= EVENTFD_MAXVAL);
sys/kern/sys_eventfd.c
359
if (efd->efd_val < EVENTFD_MAXVAL) {
sys/kern/sys_eventfd.c
467
rv = (eventfd_t)kn->kn_data < EVENTFD_MAXVAL;