Searched refs:boot_cpu_32bit_regs_overridden (Results 1 – 1 of 1) sorted by relevance
1131 static bool boot_cpu_32bit_regs_overridden = false; in lazy_init_32bit_cpu_features() local1133 if (!allow_mismatched_32bit_el0 || boot_cpu_32bit_regs_overridden) in lazy_init_32bit_cpu_features()1141 boot_cpu_32bit_regs_overridden = true; in lazy_init_32bit_cpu_features()