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 static inline bool arch_kfence_init_pool(void)
19 static inline bool kfence_protect_page(unsigned long addr, bool protect)
21 pte_t *kpte = virt_to_kpte(addr);
24 pte_update(&init_mm, addr, kpte, _PAGE_PRESENT, 0, 0);
25 flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
27 pte_update(&init_mm, addr, kpte, 0, _PAGE_PRESENT, 0);
33 #endif /* __ASM_POWERPC_KFENCE_H */