| 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 | |
|---|
