Symbol: ICC_PPI_ENABLER_MASK
sys/arm64/arm64/gicv5.c
1024
reg &= ~ICC_PPI_ENABLER_MASK(irq);
sys/arm64/arm64/gicv5.c
967
reg &= ~ICC_PPI_ENABLER_MASK(irq);