system_supports_tlb_range
if (!system_supports_tlb_range() || pages == 1)
if (system_supports_tlb_range())
if (!system_supports_tlb_range()) {
return system_supports_tlb_range() && cpus_have_final_cap(ARM64_HAS_STAGE2_FWB);