overflw 74 drivers/clocksource/timer-pistachio.c u32 counter, overflw; overflw 83 drivers/clocksource/timer-pistachio.c overflw = gpt_readl(pcs->base, TIMER_CURRENT_OVERFLOW_VALUE, 0);