pistachio_clksrc_set_mode  115 drivers/clocksource/timer-pistachio.c 	pistachio_clksrc_set_mode(cs, timeridx, false);
pistachio_clksrc_set_mode  117 drivers/clocksource/timer-pistachio.c 	pistachio_clksrc_set_mode(cs, timeridx, true);
pistachio_clksrc_set_mode  123 drivers/clocksource/timer-pistachio.c 	pistachio_clksrc_set_mode(cs, timeridx, false);