KONA_GPTIMER_STCHI_OFFSET   87 drivers/clocksource/bcm_kona_timer.c 		*msw = readl(timer_base + KONA_GPTIMER_STCHI_OFFSET);
KONA_GPTIMER_STCHI_OFFSET   89 drivers/clocksource/bcm_kona_timer.c 		if (*msw == readl(timer_base + KONA_GPTIMER_STCHI_OFFSET))