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