kernel_ident_mapping_free
void kernel_ident_mapping_free(struct x86_mapping_info *info, pgd_t *pgd);
kernel_ident_mapping_free(&info, pgd);
kernel_ident_mapping_free(&info, pgd);
kernel_ident_mapping_free(&info, pgd);