Searched refs:GICV (Results 1 – 8 of 8) sorted by relevance
153 <0x0 0x2c02f000 0 0x2000>; // GICV
200 <0x0 0x2c02f000 0 0x2000>; // GICV
157 <0x0 0x2c02f000 0 0x2000>; // GICV
204 <0x0 0x2c02f000 0 0x2000>; // GICV
509 UINT64 GICV; member
510 UINT64 GICV; member
222 <0x0 0xf6806000 0 0x2000>; /* GICV */
1032 -C cluster0.gic.GICV-offset=0x6000 \1038 -C cluster1.gic.GICV-offset=0x6000 \