ef4_event        1271 drivers/net/ethernet/sfc/falcon/farch.c 		p_event = ef4_event(channel, read_ptr);
ef4_event        1560 drivers/net/ethernet/sfc/falcon/farch.c 				event = ef4_event(channel,
ef4_event          55 drivers/net/ethernet/sfc/falcon/nic.c 	return ef4_event_present(ef4_event(channel, channel->eventq_read_ptr));