Lines Matching defs:SGI_base
72 * Order of frames must be RD_base, SGI_base.
75 static const uint32_t SGI_base = 0x10000;
111 GICR_IGROUPR0 = SGI_base + 0x0080,
113 GICR_ISENABLER0 = SGI_base + 0x0100,
115 GICR_ICENABLER0 = SGI_base + 0x0180,
117 GICR_ISPENDR0 = SGI_base + 0x0200,
119 GICR_ICPENDR0 = SGI_base + 0x0280,
121 GICR_ISACTIVER0 = SGI_base + 0x0300,
123 GICR_ICACTIVER0 = SGI_base + 0x0380,
125 GICR_ICFGR0 = SGI_base + 0x0c00,
127 GICR_ICFGR1 = SGI_base + 0x0c04,
129 GICR_IGRPMODR0 = SGI_base + 0x0d00,
131 GICR_NSACR = SGI_base + 0x0e00,
188 * (RD_base and SGI_base) but we are using 2 extra 64K stride frames