efx_event_present 3830 drivers/net/ethernet/sfc/ef10.c if (!efx_event_present(&event)) efx_event_present 1276 drivers/net/ethernet/sfc/farch.c if (!efx_event_present(&event)) efx_event_present 1571 drivers/net/ethernet/sfc/farch.c if (efx_event_present(event)) efx_event_present 56 drivers/net/ethernet/sfc/nic.c return efx_event_present(efx_event(channel, channel->eventq_read_ptr));