|
@@ -121,7 +121,9 @@
|
|
|
unsigned long max_low_pfn_mapped;
|
|
|
unsigned long max_pfn_mapped;
|
|
|
|
|
|
+#ifdef CONFIG_DMI
|
|
|
RESERVE_BRK(dmi_alloc, 65536);
|
|
|
+#endif
|
|
|
|
|
|
unsigned int boot_cpu_id __read_mostly;
|
|
|
|
|
@@ -667,6 +669,23 @@ static struct dmi_system_id __initdata bad_bios_dmi_table[] = {
|
|
|
{}
|
|
|
};
|
|
|
|
|
|
+static void __init trim_bios_range(void)
|
|
|
+{
|
|
|
+ /*
|
|
|
+ * A special case is the first 4Kb of memory;
|
|
|
+ * This is a BIOS owned area, not kernel ram, but generally
|
|
|
+ * not listed as such in the E820 table.
|
|
|
+ */
|
|
|
+ e820_update_range(0, PAGE_SIZE, E820_RAM, E820_RESERVED);
|
|
|
+ /*
|
|
|
+ * special case: Some BIOSen report the PC BIOS
|
|
|
+ * area (640->1Mb) as ram even though it is not.
|
|
|
+ * take them out.
|
|
|
+ */
|
|
|
+ e820_remove_range(BIOS_BEGIN, BIOS_END - BIOS_BEGIN, E820_RAM, 1);
|
|
|
+ sanitize_e820_map(e820.map, ARRAY_SIZE(e820.map), &e820.nr_map);
|
|
|
+}
|
|
|
+
|
|
|
/*
|
|
|
* Determine if we were loaded by an EFI loader. If so, then we have also been
|
|
|
* passed the efi memmap, systab, etc., so we should use these data structures
|
|
@@ -830,7 +849,7 @@ void __init setup_arch(char **cmdline_p)
|
|
|
insert_resource(&iomem_resource, &data_resource);
|
|
|
insert_resource(&iomem_resource, &bss_resource);
|
|
|
|
|
|
-
|
|
|
+ trim_bios_range();
|
|
|
#ifdef CONFIG_X86_32
|
|
|
if (ppro_with_ram_bug()) {
|
|
|
e820_update_range(0x70000000ULL, 0x40000ULL, E820_RAM,
|