timer25Mhz         81 drivers/clocksource/timer-armada-370-xp.c static bool timer25Mhz = true;
timer25Mhz        178 drivers/clocksource/timer-armada-370-xp.c 	if (timer25Mhz)
timer25Mhz        260 drivers/clocksource/timer-armada-370-xp.c 	if (timer25Mhz) {
timer25Mhz        387 drivers/clocksource/timer-armada-370-xp.c 		timer25Mhz = false;
timer25Mhz        411 drivers/clocksource/timer-armada-370-xp.c 	timer25Mhz = false;