GICV2M_NEEDS_SPI_OFFSET
v2m->flags |= GICV2M_NEEDS_SPI_OFFSET;
if (v2m->flags & GICV2M_NEEDS_SPI_OFFSET)