Symbol: vgic_v3_broken_seis
arch/arm64/kvm/vgic/vgic-v3.c
847
if (vgic_v3_broken_seis()) {
arch/arm64/kvm/vgic/vgic-v3.c
962
if (vgic_v3_broken_seis()) {