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++;