| // SPDX-License-Identifier: GPL-2.0-only |
| * Based on arch/arm/mm/copypage.c |
| * Copyright (C) 2002 Deep Blue Solutions Ltd, All Rights Reserved. |
| * Copyright (C) 2012 ARM Ltd. |
| #include <linux/bitops.h> |
| #include <asm/cacheflush.h> |
| #include <asm/cpufeature.h> |
| void copy_highpage(struct page *to, struct page *from) |
| struct page *kto = page_address(to); |
| struct page *kfrom = page_address(from); |
| if (system_supports_mte() && test_bit(PG_mte_tagged, &from->flags)) { |
| set_bit(PG_mte_tagged, &to->flags); |
| mte_copy_page_tags(kto, kfrom); |
| EXPORT_SYMBOL(copy_highpage); |
| void copy_user_highpage(struct page *to, struct page *from, |
| unsigned long vaddr, struct vm_area_struct *vma) |
| EXPORT_SYMBOL_GPL(copy_user_highpage); |