TIMER0_CTRL_IE    156 drivers/clocksource/timer-nps.c 			      TIMER0_CTRL_IE | TIMER0_CTRL_NH);
TIMER0_CTRL_IE    178 drivers/clocksource/timer-nps.c 		      TIMER0_CTRL_IE | TIMER0_CTRL_NH);