gic_cpuif_has_vsgi
return kvm_vgic_global_state.has_gicv4_1 && gic_cpuif_has_vsgi();
return has_v4_1() && gic_cpuif_has_vsgi();
bool gic_cpuif_has_vsgi(void);