Symbol: GICR_ICENABLE0
sys/arch/arm64/dev/agintc.c
746
GICR_ICENABLE0, ~0);
sys/arch/arm64/dev/agintc.c
918
GICR_ICENABLE0, 1 << IRQ_TO_REG32BIT(irq));