ef4_monitor_interval  128 drivers/net/ethernet/sfc/falcon/efx.c static unsigned int ef4_monitor_interval = 1 * HZ;
ef4_monitor_interval 1834 drivers/net/ethernet/sfc/falcon/efx.c 				   ef4_monitor_interval);
ef4_monitor_interval 1988 drivers/net/ethernet/sfc/falcon/efx.c 			   ef4_monitor_interval);