nps_setup_clocksource  114 drivers/clocksource/timer-nps.c 		       nps_setup_clocksource);
nps_setup_clocksource  116 drivers/clocksource/timer-nps.c 		       nps_setup_clocksource);