Searched full:gicv (Results 1 – 11 of 11) sorted by relevance
61 <0x00e0000 0x2000>; /* GICV */
150 <0x0 0x60020000 0x0 0x2000>; /* GICV */
90 <0x6000 0x2000>; /* GICV */
108 <0x6000 0x2000>; /* GICV */
119 <0x6 0x00210000 0x2000>, /* GICV */
233 <0x0 0x2c02f000 0 0x2000>; // GICV
298 <0x0 0x1406000 0 0x2000>; /* GICV */
250 <0x0 0xfe020000 0 0x10000>; /* GICV */
956 <0x0 0xfe020000 0x0 0x10000>; /* GICV */
23 <0x01 0x00020000 0x00 0x2000>; /* GICV */
28 <0x01 0x00020000 0x00 0x2000>; /* GICV */