efx_event        3827 drivers/net/ethernet/sfc/ef10.c 		p_event = efx_event(channel, read_ptr);
efx_event        1273 drivers/net/ethernet/sfc/farch.c 		p_event = efx_event(channel, read_ptr);
efx_event        1569 drivers/net/ethernet/sfc/farch.c 				event = efx_event(channel,
efx_event          56 drivers/net/ethernet/sfc/nic.c 	return efx_event_present(efx_event(channel, channel->eventq_read_ptr));