to_pistachio_clocksource   73 drivers/clocksource/timer-pistachio.c 	struct pistachio_clocksource *pcs = to_pistachio_clocksource(cs);
to_pistachio_clocksource   98 drivers/clocksource/timer-pistachio.c 	struct pistachio_clocksource *pcs = to_pistachio_clocksource(cs);
to_pistachio_clocksource  112 drivers/clocksource/timer-pistachio.c 	struct pistachio_clocksource *pcs = to_pistachio_clocksource(cs);