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);