Home
last modified time | relevance | path

Searched refs:level4p (Results 1 – 1 of 1) sorted by relevance

/arch/x86/kernel/
Dmachine_kexec_64.c38 pgd_t *level4p; member
49 return kernel_ident_mapping_init(data->info, data->level4p, mstart, mend); in mem_region_callback()
53 map_acpi_tables(struct x86_mapping_info *info, pgd_t *level4p) in map_acpi_tables() argument
60 data.level4p = level4p; in map_acpi_tables()
77 static int map_acpi_tables(struct x86_mapping_info *info, pgd_t *level4p) { return 0; } in map_acpi_tables() argument
88 map_efi_systab(struct x86_mapping_info *info, pgd_t *level4p) in map_efi_systab() argument
107 return kernel_ident_mapping_init(info, level4p, mstart, mend); in map_efi_systab()
203 pgd_t *level4p; in init_pgtable() local
207 level4p = (pgd_t *)__va(start_pgtable); in init_pgtable()
208 clear_page(level4p); in init_pgtable()
[all …]