efx_event
p_event = efx_event(channel, read_ptr);
p_event = efx_event(channel, read_ptr);
return efx_event_present(efx_event(channel, channel->eventq_read_ptr));
p_event = efx_event(channel, read_ptr);
event = efx_event(channel,
return efx_event_present(efx_event(channel, channel->eventq_read_ptr));