Symbol: arch_timer_mmio_read
drivers/clocksource/arm_arch_timer_mmio.c
145
ctrl = arch_timer_mmio_read(at, ARCH_TIMER_REG_CTRL);
drivers/clocksource/arm_arch_timer_mmio.c
159
ctrl = arch_timer_mmio_read(timer, ARCH_TIMER_REG_CTRL);
drivers/clocksource/arm_arch_timer_mmio.c
183
ctrl = arch_timer_mmio_read(at, ARCH_TIMER_REG_CTRL);