system_supports_tlb_range
if (!system_supports_tlb_range() || \
if ((!system_supports_tlb_range() &&
if (!system_supports_tlb_range()) {
return system_supports_tlb_range() && cpus_have_final_cap(ARM64_HAS_STAGE2_FWB);