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

 
 1#ifndef _ASM_X86_INIT_H
 2#define _ASM_X86_INIT_H
 3
 4struct x86_mapping_info {
 5	void *(*alloc_pgt_page)(void *); /* allocate buf for page table */
 6	void *context;			 /* context for alloc_pgt_page */
 7	unsigned long pmd_flag;		 /* page flag for PMD entry */
 8	bool kernel_mapping;		 /* kernel mapping or ident mapping */
 
 
 9};
10
11int kernel_ident_mapping_init(struct x86_mapping_info *info, pgd_t *pgd_page,
12				unsigned long addr, unsigned long end);
13
14#endif /* _ASM_X86_INIT_H */