[PATCH v1 7/8] arm64: hugetlb: Convert set_huge_pte_at() to take vma