efx_monitor_interval  151 drivers/net/ethernet/sfc/efx.c static unsigned int efx_monitor_interval = 1 * HZ;
efx_monitor_interval 1973 drivers/net/ethernet/sfc/efx.c 				   efx_monitor_interval);
efx_monitor_interval 2138 drivers/net/ethernet/sfc/efx.c 			   efx_monitor_interval);