Searched refs:GICBASE (Results 1 – 5 of 5) sorted by relevance
150 val = *REG32(GICBASE(0) + GICC_IAR); in platform_secondary_init()153 *REG32(GICBASE(0) + GICC_EOIR) = val & 0x3ff; in platform_secondary_init()
39 ldr r4, =GICBASE(0) + GICC_OFFSET
54 #define GICBASE(b) (GIC_BASE_VIRT) macro
51 #define GICBASE(n) (GIC0 + (n)*0x10000) macro