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
7struct 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
16int 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