Searched refs:free_p4d (Results 1 – 2 of 2) sorted by relevance
50 static void free_p4d(struct x86_mapping_info *info, pgd_t *pgd) in free_p4d() function74 free_p4d(info, &pgd[i]); in kernel_ident_mapping_free()
87 goto free_p4d; in efi_alloc_page_tables()95 free_p4d: in efi_alloc_page_tables()