Searched refs:GICD_ICFGRn (Results 1 – 2 of 2) sorted by relevance
72 val = sys_read32(GICD_ICFGRn + int_grp); in arm_gic_irq_set_priority()78 sys_write32(val, GICD_ICFGRn + int_grp); in arm_gic_irq_set_priority()156 sys_write32(0, GICD_ICFGRn + i / 4); in gic_dist_init()
120 #define GICD_ICFGRn (GIC_DIST_BASE + 0xc00) macro