Symbol: GICD_IROUTER
sys/arch/arm64/dev/agintc.c
1063
printf("router %x irq %d val %016llx\n", GICD_IROUTER(irq),
sys/arch/arm64/dev/agintc.c
1067
GICD_IROUTER(irq), ci->ci_mpidr & MPIDR_AFF);