Symbol: gic_cddis
sys/arm64/arm64/gicv5.c
994
gic_cddis(GIC_CDDIS_TYPE_SPI | (irq << GIC_CDDIS_ID_SHIFT));
sys/arm64/arm64/gicv5.c
998
gic_cddis(GIC_CDDIS_TYPE_LPI | (irq << GIC_CDDIS_ID_SHIFT));