// SPDX-License-Identifier: GPL-2.0 #include <linux/export.h> #include <linux/mm.h> #include <asm/pgtable.h> #include <asm/mem_encrypt.h> static pgprot_t protection_map[16] __ro_after_init = …; void add_encrypt_protection_map(void) { … } pgprot_t vm_get_page_prot(unsigned long vm_flags) { … } EXPORT_SYMBOL(…);