x86/kernel/machine_kexec_64.c

81 	unsigned long mstart, mend;
86 	mstart = kexec_debug_8250_mmio32 & PAGE_MASK;
88 	pr_info("Map PCI serial at %lx - %lx\n", mstart, mend);
89 	return kernel_ident_mapping_init(info, level4p, mstart, mend);
103 	unsigned long mstart, mend;
110 	mstart = (boot_params.efi_info.efi_systab |
114 		mend = mstart + sizeof(efi_system_table_64_t);
116 		mend = mstart + sizeof(efi_system_table_32_t);
118 	if (!mstart)
121 	ret = kernel_ident_mapping_init(info, level4p, mstart, mend);
125 	kaddr = memremap(mstart, mend - mstart, MEMREMAP_WB);
131 	mstart = efi_config_table;
136 		mend = mstart + sizeof(efi_config_table_64_t) * stbl->nr_tables;
140 		mend = mstart + sizeof(efi_config_table_32_t) * stbl->nr_tables;
145 	return kernel_ident_mapping_init(info, level4p, mstart, mend);
246 	unsigned long mstart, mend;
263 		mstart = pfn_mapped[i].start << PAGE_SHIFT;
267 						   mstart, mend);
279 		mstart = image->segment[i].mem;
280 		mend   = mstart + image->segment[i].memsz;
283 						   mstart, mend);