gicv3_data
GUEST_ASSERT(cpu < gicv3_data.nr_cpus);
for (i = 32; i < gicv3_data.nr_spis; i += 32) {
for (i = 32; i < gicv3_data.nr_spis; i += 4)
gicv3_data.nr_cpus = nr_cpus;
gicv3_data.nr_spis = GICD_TYPER_SPIS(
if (gicv3_data.nr_spis > 1020)
gicv3_data.nr_spis = 1020;
static struct gicv3_data gicv3_data;