Symbol: GICD_IPRIORITYR
sys/arch/arm64/dev/agintc.c
552
GICD_IPRIORITYR(i), 0xffffffff);
sys/arch/arm64/dev/agintc.c
780
GICD_IPRIORITYR(irq), prival);