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