Symbol: GICD_SGIR
sys/arm/arm/gic.c
1023
gic_d_write_4(sc, GICD_SGIR, val | gi->gi_irq);
sys/arm64/vmm/io/vgic_v3.c
310
VGIC_REGISTER_RAZ_WI(GICD_SGIR, 4, VGIC_32_BIT),