Searched refs:gics_supported (Results 1 – 1 of 1) sorted by relevance
1898 int gics_supported, in finalize_gic_version_do() argument1911 gics_supported, max_cpus); in finalize_gic_version_do()1913 if (gics_supported & VIRT_GIC_VERSION_4_MASK) { in finalize_gic_version_do()1915 } else if (gics_supported & VIRT_GIC_VERSION_3_MASK) { in finalize_gic_version_do()1922 if ((gics_supported & VIRT_GIC_VERSION_2_MASK) && in finalize_gic_version_do()1925 } else if (gics_supported & VIRT_GIC_VERSION_3_MASK) { in finalize_gic_version_do()1947 if (!(gics_supported & VIRT_GIC_VERSION_2_MASK)) { in finalize_gic_version_do()1953 if (!(gics_supported & VIRT_GIC_VERSION_3_MASK)) { in finalize_gic_version_do()1959 if (!(gics_supported & VIRT_GIC_VERSION_4_MASK)) { in finalize_gic_version_do()1984 int gics_supported = 0; in finalize_gic_version() local[all …]