Symbol: GIC_DIST_SGI_PENDING_SET
arch/arm64/kvm/vgic/vgic-mmio-v2.c
471
REGISTER_DESC_WITH_LENGTH(GIC_DIST_SGI_PENDING_SET,
drivers/irqchip/irq-gic.c
1011
val = readl_relaxed(dist_base + GIC_DIST_SGI_PENDING_SET + i);