hw_schd_save      142 drivers/clocksource/timer-nps.c 	hw_schd_save(&cflags);
hw_schd_save      166 drivers/clocksource/timer-nps.c 	hw_schd_save(&cflags);