Searched refs:level4p (Results 1 – 1 of 1) sorted by relevance
| /linux/arch/x86/kernel/ |
| H A D | machine_kexec_64.c | 41 pgd_t *level4p; member
48 return kernel_ident_mapping_init(data->info, data->level4p, 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
80 static int map_mmio_serial(struct x86_mapping_info *info, pgd_t *level4p) in map_mmio_serial() argument
90 return kernel_ident_mapping_init(info, level4p, mstart, mend); in map_mmio_serial()
101 map_efi_systab(struct x86_mapping_info *info, pgd_t *level4p) in map_efi_systab() argument
122 ret = kernel_ident_mapping_init(info, level4p, mstart, mend); in map_efi_systab()
146 return kernel_ident_mapping_init(info, level4p, mstart, mend); in map_efi_systab()
|