/* SPDX-License-Identifier: GPL-2.0-only */ | |
/* Data to be patched by the BIOS during POST */ | |
/* FIXME the patching is not done yet! */ | |
/* Memory related values */ | |
Name(LOMH, 0x0) /* Start of unused memory in C0000-E0000 range */ | |
Name(PBAD, 0x0) /* Address of BIOS area (If TOM2 != 0, Addr >> 16) */ | |
Name(PBLN, 0x0) /* Length of BIOS area */ | |
Name(PCBA, CONFIG_MMCONF_BASE_ADDRESS) /* Base address of PCIe config space */ | |
Name(PCLN, Multiply(0x100000, CONFIG_MMCONF_BUS_NUMBER)) /* Length of PCIe config space, 1MB each bus */ | |
Name(HPBA, 0xFED00000) /* Base address of HPET table */ | |
/* Some global data */ | |
Name(OSVR, 3) /* Assume nothing. WinXp = 1, Vista = 2, Linux = 3, WinCE = 4 */ |