Symbol: CPUX_IDX_GLOBAL_IRQ
drivers/clocksource/timer-mediatek-cpux.c
54
val = mtk_cpux_readl(CPUX_IDX_GLOBAL_IRQ, to);
drivers/clocksource/timer-mediatek-cpux.c
61
mtk_cpux_writel(val, CPUX_IDX_GLOBAL_IRQ, to);