Searched refs:GICD_ICACTIVERn (Results 1 – 2 of 2) sorted by relevance
210 sys_write32(0xffffffff, GICD_ICACTIVERn + i / 8); in gic_dist_init()232 sys_write32(0xffffffff, GICD_ICACTIVERn); in gic_cpu_init()
98 #define GICD_ICACTIVERn (GIC_DIST_BASE + 0x380) macro