x86_mapping_info
static pte_t *split_large_pmd(struct x86_mapping_info *info,
static int set_clr_page_flags(struct x86_mapping_info *info,
static struct x86_mapping_info mapping_info;
int kernel_ident_mapping_init(struct x86_mapping_info *info, pgd_t *pgd_page,
void kernel_ident_mapping_free(struct x86_mapping_info *info, pgd_t *pgd);
struct x86_mapping_info info = {
map_efi_systab(struct x86_mapping_info *info, pgd_t *level4p)
struct x86_mapping_info info = {
struct x86_mapping_info *info;
map_acpi_tables(struct x86_mapping_info *info, pgd_t *level4p)
static int map_acpi_tables(struct x86_mapping_info *info, pgd_t *level4p) { return 0; }
static int map_mmio_serial(struct x86_mapping_info *info, pgd_t *level4p)
static void free_pmd(struct x86_mapping_info *info, pud_t *pud)
static int ident_p4d_init(struct x86_mapping_info *info, p4d_t *p4d_page,
int kernel_ident_mapping_init(struct x86_mapping_info *info, pgd_t *pgd_page,
static void free_pud(struct x86_mapping_info *info, p4d_t *p4d)
static void free_p4d(struct x86_mapping_info *info, pgd_t *pgd)
void kernel_ident_mapping_free(struct x86_mapping_info *info, pgd_t *pgd)
static void free_pte(struct x86_mapping_info *info, pmd_t *pmd)
static void ident_pmd_init(struct x86_mapping_info *info, pmd_t *pmd_page,
static int ident_pud_init(struct x86_mapping_info *info, pud_t *pud_page,
struct x86_mapping_info info = {