Symbol: hl_mmu_prefetch_cache_range