Searched refs:gics_supported (Results 1 – 1 of 1) sorted by relevance
1900 int gics_supported, in finalize_gic_version_do() argument1913 gics_supported, max_cpus); in finalize_gic_version_do()1915 if (gics_supported & VIRT_GIC_VERSION_4_MASK) { in finalize_gic_version_do()1917 } else if (gics_supported & VIRT_GIC_VERSION_3_MASK) { in finalize_gic_version_do()1924 if ((gics_supported & VIRT_GIC_VERSION_2_MASK) && in finalize_gic_version_do()1927 } else if (gics_supported & VIRT_GIC_VERSION_3_MASK) { in finalize_gic_version_do()1949 if (!(gics_supported & VIRT_GIC_VERSION_2_MASK)) { in finalize_gic_version_do()1955 if (!(gics_supported & VIRT_GIC_VERSION_3_MASK)) { in finalize_gic_version_do()1961 if (!(gics_supported & VIRT_GIC_VERSION_4_MASK)) { in finalize_gic_version_do()1986 int gics_supported = 0; in finalize_gic_version() local[all …]