TIMER0_25MHZ      179 drivers/clocksource/timer-armada-370-xp.c 		set = TIMER0_25MHZ;
TIMER0_25MHZ      181 drivers/clocksource/timer-armada-370-xp.c 		clr = TIMER0_25MHZ;
TIMER0_25MHZ      261 drivers/clocksource/timer-armada-370-xp.c 		set = TIMER0_25MHZ;		
TIMER0_25MHZ      264 drivers/clocksource/timer-armada-370-xp.c 		clr = TIMER0_25MHZ;