1 /* SPDX-License-Identifier: GPL-2.0 */
3 * powerpc KFENCE support.
5 * Copyright (C) 2020 CS GROUP France
8 #ifndef __ASM_POWERPC_KFENCE_H
9 #define __ASM_POWERPC_KFENCE_H
12 #include <asm/pgtable.h>
14 #ifdef CONFIG_PPC64_ELF_ABI_V1
15 #define ARCH_FUNC_PREFIX "."
18 static inline bool arch_kfence_init_pool(void)
24 static inline bool kfence_protect_page(unsigned long addr, bool protect)
26 struct page *page = virt_to_page((void *)addr);
28 __kernel_map_pages(page, 1, !protect);
33 static inline bool kfence_protect_page(unsigned long addr, bool protect)
35 pte_t *kpte = virt_to_kpte(addr);
38 pte_update(&init_mm, addr, kpte, _PAGE_PRESENT, 0, 0);
39 flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
41 pte_update(&init_mm, addr, kpte, 0, _PAGE_PRESENT, 0);
48 #endif /* __ASM_POWERPC_KFENCE_H */