system_supports_direct_sgis
kvm->arch.vgic.nassgicap = system_supports_direct_sgis();
if (!system_supports_direct_sgis() && val)
if (system_supports_direct_sgis() && !vgic_supports_direct_sgis(kvm))
bool system_supports_direct_sgis(void);