Symbol: GICD_SGIR_SGIINTID
sys/arch/arm/cortex/gic.c
305
| __SHIFTIN(level, GICD_SGIR_SGIINTID);
sys/arch/arm/cortex/gic.c
576
uint32_t sgir = __SHIFTIN(ARMGIC_SGI_IPIBASE + ipi, GICD_SGIR_SGIINTID);