EVENTFD_VALMAX
if (oval == EVENTFD_VALMAX) {
if (val > EVENTFD_VALMAX)
while (val > EVENTFD_VALMAX - state->efd_value) {
if (state->efd_value < EVENTFD_VALMAX)