1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_X86_INIT_H 3 #define _ASM_X86_INIT_H 4 5 struct x86_mapping_info { 6 void *(*alloc_pgt_page)(void *); /* allocate buf for page table */ 7 void (*free_pgt_page)(void *, void *); /* free buf for page table */ 8 void *context; /* context for alloc_pgt_page */ 9 unsigned long page_flag; /* page flag for PMD or PUD entry */ 10 unsigned long offset; /* ident mapping offset */ 11 bool direct_gbpages; /* PUD level 1GB page support */ 12 unsigned long kernpg_flag; /* kernel pagetable flag override */ 13 }; 14 15 int kernel_ident_mapping_init(struct x86_mapping_info *info, pgd_t *pgd_page, 16 unsigned long pstart, unsigned long pend); 17 18 void kernel_ident_mapping_free(struct x86_mapping_info *info, pgd_t *pgd); 19 20 #endif /* _ASM_X86_INIT_H */ 21