Searched refs:efd_val (Results 1 – 1 of 1) sorted by relevance
69 eventfd_t efd_val; member99 efd->efd_val = val; in eventfd_create()222 while (efd->efd_val == 0) { in eventfd_fop_read()231 efd->efd_val--; in eventfd_fop_read()233 return_value = efd->efd_val; in eventfd_fop_read()234 efd->efd_val = 0; in eventfd_fop_read()271 KASSERT(efd->efd_val <= EVENTFD_MAXVAL); in eventfd_fop_write()272 while ((EVENTFD_MAXVAL - efd->efd_val) < write_value) { in eventfd_fop_write()279 efd->efd_val += write_value; in eventfd_fop_write()280 KASSERT(efd->efd_val <= EVENTFD_MAXVAL); in eventfd_fop_write()[all …]