For an eventfd initialized with eventfd(EFD_SEMAPHORE), is there a way to consume more than one event from the counter behind the scenes?
eventfd(EFD_SEMAPHORE)
The docs say this a