Symbol: gic_cden
sys/arm64/arm64/gicv5.c
1045
gic_cden(GIC_CDEN_TYPE_LPI | (irq << GIC_CDEN_ID_SHIFT));
sys/arm64/arm64/gicv5.c
1069
gic_cden(GIC_CDEN_TYPE_SPI | (irq << GIC_CDEN_ID_SHIFT));
sys/arm64/arm64/gicv5.c
1073
gic_cden(GIC_CDEN_TYPE_LPI | (irq << GIC_CDEN_ID_SHIFT));