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 */
18