Searched refs:sgi_base (Results 1 – 1 of 1) sorted by relevance
36 void *sgi_base; in gicv3_enable_defaults() local55 sgi_base = gicv3_sgi_base(); in gicv3_enable_defaults()57 writel(~0, sgi_base + GICR_IGROUPR0); in gicv3_enable_defaults()60 writel(GICD_INT_DEF_PRI_X4, sgi_base + GICR_IPRIORITYR0 + i); in gicv3_enable_defaults()62 writel(GICD_INT_EN_SET_SGI, sgi_base + GICR_ISENABLER0); in gicv3_enable_defaults()