Symbol: vgic_update_vsgi
arch/arm64/kvm/vgic/vgic-mmio.c
707
vgic_update_vsgi(irq);
arch/arm64/kvm/vgic/vgic-mmio.c
82
vgic_update_vsgi(irq);