static bool rk30_gic_interrupt_pending(void)
{
- return (readl_relaxed(RK30_GICC_BASE + GIC_CPU_HIGHPRI) != 0x3FF);
+ return (readl_relaxed(GIC_CPU_BASE + GIC_CPU_HIGHPRI) != 0x3FF);
}
static void rk30_wfi_until_interrupt(void)
dsb();
/* this always happens on GIC0 */
- writel_relaxed(map << 16 | irq | 0x8000, RK30_GICD_BASE + GIC_DIST_SOFTINT);
+ writel_relaxed(map << 16 | irq | 0x8000, GIC_DIST_BASE + GIC_DIST_SOFTINT);
}
static void gic_secondary_init_non_secure(void)
{
#define GIC_DIST_SECURITY 0x080
- writel_relaxed(0xffffffff, RK30_GICD_BASE + GIC_DIST_SECURITY);
- writel_relaxed(0xf, RK30_GICC_BASE + GIC_CPU_CTRL);
+ writel_relaxed(0xffffffff, GIC_DIST_BASE + GIC_DIST_SECURITY);
+ writel_relaxed(0xf, GIC_CPU_BASE + GIC_CPU_CTRL);
dsb();
}
#endif