Symbol: hl_mmu_invalidate_cache_range