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