linux/arch/x86/mm/ident_map.c

// SPDX-License-Identifier: GPL-2.0
/*
 * Helper routines for building identity mapping page tables. This is
 * included by both the compressed kernel and the regular kernel.
 */

static void free_pte(struct x86_mapping_info *info, pmd_t *pmd)
{ … }

static void free_pmd(struct x86_mapping_info *info, pud_t *pud)
{ … }

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 ident_pmd_init(struct x86_mapping_info *info, pmd_t *pmd_page,
			   unsigned long addr, unsigned long end)
{ … }

static int ident_pud_init(struct x86_mapping_info *info, pud_t *pud_page,
			  unsigned long addr, unsigned long end)
{ … }

static int ident_p4d_init(struct x86_mapping_info *info, p4d_t *p4d_page,
			  unsigned long addr, unsigned long end)
{ … }

int kernel_ident_mapping_init(struct x86_mapping_info *info, pgd_t *pgd_page,
			      unsigned long pstart, unsigned long pend)
{ … }