GICv5_PPI
MPASS(gbi->gbi_space == GICv5_PPI);
case GICv5_PPI:
case GICv5_PPI:
case GICv5_PPI:
case GICv5_PPI:
sc->gic_ppi_irqs[irq].gi_isrc.gbi_space = GICv5_PPI;
case GICv5_PPI: