hw_schd_restore   158 drivers/clocksource/timer-nps.c 	hw_schd_restore(cflags);
hw_schd_restore   180 drivers/clocksource/timer-nps.c 	hw_schd_restore(cflags);