Symbol: pistachio_clksrc_set_mode
drivers/clocksource/timer-pistachio.c
113
pistachio_clksrc_set_mode(cs, timeridx, false);
drivers/clocksource/timer-pistachio.c
115
pistachio_clksrc_set_mode(cs, timeridx, true);
drivers/clocksource/timer-pistachio.c
121
pistachio_clksrc_set_mode(cs, timeridx, false);