Symbol: GICD_ICENABLER
sys/arch/arm64/dev/agintc.c
546
GICD_ICENABLER(i * 32), ~0);
sys/arch/arm64/dev/agintc.c
915
GICD_ICENABLER(irq), 1 << IRQ_TO_REG32BIT(irq));