Lines Matching defs:efd_val
69 eventfd_t efd_val;
99 efd->efd_val = val;
222 while (efd->efd_val == 0) {
231 efd->efd_val--;
233 return_value = efd->efd_val;
234 efd->efd_val = 0;
271 KASSERT(efd->efd_val <= EVENTFD_MAXVAL);
272 while ((EVENTFD_MAXVAL - efd->efd_val) < write_value) {
279 efd->efd_val += write_value;
280 KASSERT(efd->efd_val <= EVENTFD_MAXVAL);
309 *(int *)data = efd->efd_val != 0 ? sizeof(eventfd_t) : 0;
351 if (efd->efd_val != 0) {
359 if (efd->efd_val < EVENTFD_MAXVAL) {
379 st->st_size = (off_t)efd->efd_val;
427 kn->kn_data = (int64_t)efd->efd_val;
466 kn->kn_data = (int64_t)efd->efd_val;