gpt_id 59 drivers/clocksource/timer-pistachio.c static inline u32 gpt_readl(void __iomem *base, u32 offset, u32 gpt_id) gpt_id 61 drivers/clocksource/timer-pistachio.c return readl(base + 0x20 * gpt_id + offset); gpt_id 65 drivers/clocksource/timer-pistachio.c u32 gpt_id) gpt_id 67 drivers/clocksource/timer-pistachio.c writel(value, base + 0x20 * gpt_id + offset);