Searched refs:kernel_ident_mapping_free (Results 1 – 3 of 3) sorted by relevance
145 kernel_ident_mapping_free(&info, pgd); in acpi_mp_setup_reset()153 kernel_ident_mapping_free(&info, pgd); in acpi_mp_setup_reset()158 kernel_ident_mapping_free(&info, pgd); in acpi_mp_setup_reset()
20 void kernel_ident_mapping_free(struct x86_mapping_info *info, pgd_t *pgd);
66 void kernel_ident_mapping_free(struct x86_mapping_info *info, pgd_t *pgd) in kernel_ident_mapping_free() function