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