Searched refs:boot_cpu_32bit_regs_overridden (Results 1 – 1 of 1) sorted by relevance
1020 static bool boot_cpu_32bit_regs_overridden = false; in update_mismatched_32bit_el0_cpu_features() local1022 if (!allow_mismatched_32bit_el0 || boot_cpu_32bit_regs_overridden) in update_mismatched_32bit_el0_cpu_features()1030 boot_cpu_32bit_regs_overridden = true; in update_mismatched_32bit_el0_cpu_features()