num_called 319 arch/nios2/kernel/time.c static int num_called; num_called 322 arch/nios2/kernel/time.c switch (num_called) { num_called 334 arch/nios2/kernel/time.c num_called++; num_called 146 drivers/clocksource/dw_apb_timer_of.c static int num_called; num_called 149 drivers/clocksource/dw_apb_timer_of.c switch (num_called) { num_called 167 drivers/clocksource/dw_apb_timer_of.c num_called++;