Searched refs:GICC_CTLR (Results 1 – 2 of 2) sorted by relevance
249 val = sys_read32(GICC_CTLR); in gic_cpu_init()254 sys_write32(val, GICC_CTLR); in gic_cpu_init()
140 #define GICC_CTLR (GIC_CPU_BASE + 0x0) macro