arch/x86: consolidate HPET base address definitions
Both the HPET_BASE_ADDRESS define from arch/x86/include/arch/hpet.h and the HPET_ADDRESS Kconfig option define the base address of the HPET MMIO region which is 0xfed00000 on all chipsets and SoCs in the coreboot tree. Since these two different constants are used in different places that however might end up used in the same coreboot build, drop the Kconfig option and use the definition from arch/x86 instead. Since it's no longer needed to check for a mismatch of those two constants, the corresponding checks are dropped too. Signed-off-by: Felix Held <felix-coreboot@felixheld.de> Change-Id: Ia797bb8ac150ae75807cb3bd1f9db5b25dfca35e Reviewed-on: https://review.coreboot.org/c/coreboot/+/62307 Reviewed-by: Angel Pons <th3fanbus@gmail.com> Reviewed-by: Lance Zhao Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
		@@ -18,6 +18,7 @@
 | 
				
			|||||||
#include <acpi/acpi.h>
 | 
					#include <acpi/acpi.h>
 | 
				
			||||||
#include <acpi/acpi_ivrs.h>
 | 
					#include <acpi/acpi_ivrs.h>
 | 
				
			||||||
#include <acpi/acpigen.h>
 | 
					#include <acpi/acpigen.h>
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <arch/mmio.h>
 | 
					#include <arch/mmio.h>
 | 
				
			||||||
#include <device/pci.h>
 | 
					#include <device/pci.h>
 | 
				
			||||||
#include <cbmem.h>
 | 
					#include <cbmem.h>
 | 
				
			||||||
@@ -848,10 +849,10 @@ void acpi_create_hpet(acpi_hpet_t *hpet)
 | 
				
			|||||||
	addr->space_id = ACPI_ADDRESS_SPACE_MEMORY;
 | 
						addr->space_id = ACPI_ADDRESS_SPACE_MEMORY;
 | 
				
			||||||
	addr->bit_width = 64;
 | 
						addr->bit_width = 64;
 | 
				
			||||||
	addr->bit_offset = 0;
 | 
						addr->bit_offset = 0;
 | 
				
			||||||
	addr->addrl = CONFIG_HPET_ADDRESS & 0xffffffff;
 | 
						addr->addrl = HPET_BASE_ADDRESS & 0xffffffff;
 | 
				
			||||||
	addr->addrh = ((unsigned long long)CONFIG_HPET_ADDRESS) >> 32;
 | 
						addr->addrh = ((unsigned long long)HPET_BASE_ADDRESS) >> 32;
 | 
				
			||||||
 | 
					
 | 
				
			||||||
	hpet->id = read32p(CONFIG_HPET_ADDRESS);
 | 
						hpet->id = read32p(HPET_BASE_ADDRESS);
 | 
				
			||||||
	hpet->number = 0;
 | 
						hpet->number = 0;
 | 
				
			||||||
	hpet->min_tick = CONFIG_HPET_MIN_TICKS;
 | 
						hpet->min_tick = CONFIG_HPET_MIN_TICKS;
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -191,10 +191,6 @@ config CMOS_DEFAULT_FILE
 | 
				
			|||||||
	default "src/mainboard/\$(MAINBOARDDIR)/cmos.default"
 | 
						default "src/mainboard/\$(MAINBOARDDIR)/cmos.default"
 | 
				
			||||||
	depends on HAVE_CMOS_DEFAULT
 | 
						depends on HAVE_CMOS_DEFAULT
 | 
				
			||||||
 | 
					
 | 
				
			||||||
config HPET_ADDRESS
 | 
					 | 
				
			||||||
	hex
 | 
					 | 
				
			||||||
	default 0xfed00000
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
config HPET_MIN_TICKS
 | 
					config HPET_MIN_TICKS
 | 
				
			||||||
	hex
 | 
						hex
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,4 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <bootblock_common.h>
 | 
					#include <bootblock_common.h>
 | 
				
			||||||
#include <device/pnp_ops.h>
 | 
					#include <device/pnp_ops.h>
 | 
				
			||||||
#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
					#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
				
			||||||
@@ -89,7 +91,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
					#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
				
			||||||
#include <northbridge/intel/sandybridge/raminit.h>
 | 
					#include <northbridge/intel/sandybridge/raminit.h>
 | 
				
			||||||
@@ -82,7 +83,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <string.h>
 | 
					#include <string.h>
 | 
				
			||||||
#include <device/pci_ops.h>
 | 
					#include <device/pci_ops.h>
 | 
				
			||||||
@@ -91,7 +92,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
					#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
				
			||||||
#include <northbridge/intel/sandybridge/raminit.h>
 | 
					#include <northbridge/intel/sandybridge/raminit.h>
 | 
				
			||||||
@@ -60,7 +61,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <console/console.h>
 | 
					#include <console/console.h>
 | 
				
			||||||
#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
					#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
				
			||||||
@@ -97,7 +98,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
					#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
				
			||||||
#if CONFIG(USE_NATIVE_RAMINIT)
 | 
					#if CONFIG(USE_NATIVE_RAMINIT)
 | 
				
			||||||
@@ -21,7 +22,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <bootblock_common.h>
 | 
					#include <bootblock_common.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <arch/io.h>
 | 
					#include <arch/io.h>
 | 
				
			||||||
@@ -58,7 +59,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <bootblock_common.h>
 | 
					#include <bootblock_common.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <device/pnp_def.h>
 | 
					#include <device/pnp_def.h>
 | 
				
			||||||
@@ -63,7 +64,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <acpi/acpi.h>
 | 
					#include <acpi/acpi.h>
 | 
				
			||||||
#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
					#include <northbridge/intel/sandybridge/sandybridge.h>
 | 
				
			||||||
@@ -19,7 +20,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <northbridge/intel/sandybridge/raminit.h>
 | 
					#include <northbridge/intel/sandybridge/raminit.h>
 | 
				
			||||||
#include <northbridge/intel/sandybridge/raminit_native.h>
 | 
					#include <northbridge/intel/sandybridge/raminit_native.h>
 | 
				
			||||||
@@ -17,7 +18,7 @@ void mainboard_fill_pei_data(struct pei_data *const pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <bootblock_common.h>
 | 
					#include <bootblock_common.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <device/pnp_ops.h>
 | 
					#include <device/pnp_ops.h>
 | 
				
			||||||
@@ -47,7 +48,7 @@ void mainboard_fill_pei_data(struct pei_data *const pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <string.h>
 | 
					#include <string.h>
 | 
				
			||||||
#include <arch/io.h>
 | 
					#include <arch/io.h>
 | 
				
			||||||
@@ -123,7 +124,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <bootblock_common.h>
 | 
					#include <bootblock_common.h>
 | 
				
			||||||
#include <stdint.h>
 | 
					#include <stdint.h>
 | 
				
			||||||
#include <pc80/mc146818rtc.h>
 | 
					#include <pc80/mc146818rtc.h>
 | 
				
			||||||
@@ -108,7 +109,7 @@ void mainboard_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
		.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar = CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.wdbbar = 0x4000000,
 | 
							.wdbbar = 0x4000000,
 | 
				
			||||||
		.wdbsize = 0x1000,
 | 
							.wdbsize = 0x1000,
 | 
				
			||||||
		.hpet_address = CONFIG_HPET_ADDRESS,
 | 
							.hpet_address = HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
							.rcba = (uintptr_t)DEFAULT_RCBA,
 | 
				
			||||||
		.pmbase = DEFAULT_PMBASE,
 | 
							.pmbase = DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase = DEFAULT_GPIOBASE,
 | 
							.gpiobase = DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <console/console.h>
 | 
					#include <console/console.h>
 | 
				
			||||||
#include <console/usb.h>
 | 
					#include <console/usb.h>
 | 
				
			||||||
#include <string.h>
 | 
					#include <string.h>
 | 
				
			||||||
@@ -351,7 +352,7 @@ void perform_raminit(const int s3resume)
 | 
				
			|||||||
		.epbar			= CONFIG_FIXED_EPBAR_MMIO_BASE,
 | 
							.epbar			= CONFIG_FIXED_EPBAR_MMIO_BASE,
 | 
				
			||||||
		.pciexbar		= CONFIG_ECAM_MMCONF_BASE_ADDRESS,
 | 
							.pciexbar		= CONFIG_ECAM_MMCONF_BASE_ADDRESS,
 | 
				
			||||||
		.smbusbar		= CONFIG_FIXED_SMBUS_IO_BASE,
 | 
							.smbusbar		= CONFIG_FIXED_SMBUS_IO_BASE,
 | 
				
			||||||
		.hpet_address		= CONFIG_HPET_ADDRESS,
 | 
							.hpet_address		= HPET_BASE_ADDRESS,
 | 
				
			||||||
		.rcba			= CONFIG_FIXED_RCBA_MMIO_BASE,
 | 
							.rcba			= CONFIG_FIXED_RCBA_MMIO_BASE,
 | 
				
			||||||
		.pmbase			= DEFAULT_PMBASE,
 | 
							.pmbase			= DEFAULT_PMBASE,
 | 
				
			||||||
		.gpiobase		= DEFAULT_GPIOBASE,
 | 
							.gpiobase		= DEFAULT_GPIOBASE,
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <console/console.h>
 | 
					#include <console/console.h>
 | 
				
			||||||
#include <console/usb.h>
 | 
					#include <console/usb.h>
 | 
				
			||||||
#include <cf9_reset.h>
 | 
					#include <cf9_reset.h>
 | 
				
			||||||
@@ -235,7 +236,7 @@ static void northbridge_fill_pei_data(struct pei_data *pei_data)
 | 
				
			|||||||
	pei_data->dmibar       = CONFIG_FIXED_DMIBAR_MMIO_BASE;
 | 
						pei_data->dmibar       = CONFIG_FIXED_DMIBAR_MMIO_BASE;
 | 
				
			||||||
	pei_data->epbar        = CONFIG_FIXED_EPBAR_MMIO_BASE;
 | 
						pei_data->epbar        = CONFIG_FIXED_EPBAR_MMIO_BASE;
 | 
				
			||||||
	pei_data->pciexbar     = CONFIG_ECAM_MMCONF_BASE_ADDRESS;
 | 
						pei_data->pciexbar     = CONFIG_ECAM_MMCONF_BASE_ADDRESS;
 | 
				
			||||||
	pei_data->hpet_address = CONFIG_HPET_ADDRESS;
 | 
						pei_data->hpet_address = HPET_BASE_ADDRESS;
 | 
				
			||||||
	pei_data->thermalbase  = 0xfed08000;
 | 
						pei_data->thermalbase  = 0xfed08000;
 | 
				
			||||||
	pei_data->system_type  = !(get_platform_type() == PLATFORM_MOBILE);
 | 
						pei_data->system_type  = !(get_platform_type() == PLATFORM_MOBILE);
 | 
				
			||||||
	pei_data->tseg_size    = CONFIG_SMM_TSEG_SIZE;
 | 
						pei_data->tseg_size    = CONFIG_SMM_TSEG_SIZE;
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -15,11 +15,6 @@
 | 
				
			|||||||
#define GNB_IO_APIC_ADDR		0xfec01000
 | 
					#define GNB_IO_APIC_ADDR		0xfec01000
 | 
				
			||||||
#define SPI_BASE_ADDRESS		0xfec10000
 | 
					#define SPI_BASE_ADDRESS		0xfec10000
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#include <arch/hpet.h> /* This will be removed in a follow-up patch */
 | 
					 | 
				
			||||||
#if CONFIG_HPET_ADDRESS != HPET_BASE_ADDRESS
 | 
					 | 
				
			||||||
#error HPET address must be 0xfed00000
 | 
					 | 
				
			||||||
#endif
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
/* FCH AL2AHB Registers */
 | 
					/* FCH AL2AHB Registers */
 | 
				
			||||||
#define ALINK_AHB_ADDRESS		0xfedc0000
 | 
					#define ALINK_AHB_ADDRESS		0xfedc0000
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -10,11 +10,6 @@
 | 
				
			|||||||
#define GNB_IO_APIC_ADDR		0xfec01000
 | 
					#define GNB_IO_APIC_ADDR		0xfec01000
 | 
				
			||||||
#define SPI_BASE_ADDRESS		0xfec10000
 | 
					#define SPI_BASE_ADDRESS		0xfec10000
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#include <arch/hpet.h> /* This will be removed in a follow-up patch */
 | 
					 | 
				
			||||||
#if CONFIG_HPET_ADDRESS != HPET_BASE_ADDRESS
 | 
					 | 
				
			||||||
#error HPET address must be 0xfed00000
 | 
					 | 
				
			||||||
#endif
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
/* FCH AL2AHB Registers */
 | 
					/* FCH AL2AHB Registers */
 | 
				
			||||||
#define ALINK_AHB_ADDRESS		0xfedc0000
 | 
					#define ALINK_AHB_ADDRESS		0xfedc0000
 | 
				
			||||||
#define AL2AHB_CONTROL_CLK_OFFSET	0x10
 | 
					#define AL2AHB_CONTROL_CLK_OFFSET	0x10
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -15,11 +15,6 @@
 | 
				
			|||||||
#define GNB_IO_APIC_ADDR		0xfec01000
 | 
					#define GNB_IO_APIC_ADDR		0xfec01000
 | 
				
			||||||
#define SPI_BASE_ADDRESS		0xfec10000
 | 
					#define SPI_BASE_ADDRESS		0xfec10000
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#include <arch/hpet.h> /* This will be removed in a follow-up patch */
 | 
					 | 
				
			||||||
#if CONFIG_HPET_ADDRESS != HPET_BASE_ADDRESS
 | 
					 | 
				
			||||||
#error HPET address must be 0xfed00000
 | 
					 | 
				
			||||||
#endif
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
/* FCH AL2AHB Registers */
 | 
					/* FCH AL2AHB Registers */
 | 
				
			||||||
#define ALINK_AHB_ADDRESS		0xfedc0000
 | 
					#define ALINK_AHB_ADDRESS		0xfedc0000
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -16,11 +16,6 @@
 | 
				
			|||||||
#define APU_I2C2_BASE			0xfedc4000
 | 
					#define APU_I2C2_BASE			0xfedc4000
 | 
				
			||||||
#define APU_I2C3_BASE			0xfedc5000
 | 
					#define APU_I2C3_BASE			0xfedc5000
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#include <arch/hpet.h> /* This will be removed in a follow-up patch */
 | 
					 | 
				
			||||||
#if CONFIG_HPET_ADDRESS != HPET_BASE_ADDRESS
 | 
					 | 
				
			||||||
#error HPET address must be 0xfed00000
 | 
					 | 
				
			||||||
#endif
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#define APU_UART0_BASE			0xfedc6000
 | 
					#define APU_UART0_BASE			0xfedc6000
 | 
				
			||||||
#define APU_UART1_BASE			0xfedc8000
 | 
					#define APU_UART1_BASE			0xfedc8000
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,7 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
 | 
					
 | 
				
			||||||
/* Intel LPC Bus Device  - 0:1f.0 */
 | 
					/* Intel LPC Bus Device  - 0:1f.0 */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
Device (LPCB)
 | 
					Device (LPCB)
 | 
				
			||||||
@@ -44,7 +46,7 @@ Device (LPCB)
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
		Name(_CRS, ResourceTemplate()
 | 
							Name(_CRS, ResourceTemplate()
 | 
				
			||||||
		{
 | 
							{
 | 
				
			||||||
			Memory32Fixed(ReadOnly, CONFIG_HPET_ADDRESS, 0x400)
 | 
								Memory32Fixed(ReadOnly, HPET_BASE_ADDRESS, 0x400)
 | 
				
			||||||
		})
 | 
							})
 | 
				
			||||||
	}
 | 
						}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,7 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
 | 
					
 | 
				
			||||||
/* Intel LPC Bus Device  - 0:1f.0 */
 | 
					/* Intel LPC Bus Device  - 0:1f.0 */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
Device (LPCB)
 | 
					Device (LPCB)
 | 
				
			||||||
@@ -55,7 +57,7 @@ Device (LPCB)
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
		Name(_CRS, ResourceTemplate()
 | 
							Name(_CRS, ResourceTemplate()
 | 
				
			||||||
		{
 | 
							{
 | 
				
			||||||
			Memory32Fixed(ReadOnly, CONFIG_HPET_ADDRESS, 0x400)
 | 
								Memory32Fixed(ReadOnly, HPET_BASE_ADDRESS, 0x400)
 | 
				
			||||||
		})
 | 
							})
 | 
				
			||||||
	}
 | 
						}
 | 
				
			||||||
#endif
 | 
					#endif
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,7 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
 | 
					
 | 
				
			||||||
// Intel LPC Bus Device  - 0:1f.0
 | 
					// Intel LPC Bus Device  - 0:1f.0
 | 
				
			||||||
 | 
					
 | 
				
			||||||
Device (LPCB)
 | 
					Device (LPCB)
 | 
				
			||||||
@@ -64,7 +66,7 @@ Device (LPCB)
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
		Name (BUF0, ResourceTemplate ()
 | 
							Name (BUF0, ResourceTemplate ()
 | 
				
			||||||
		{
 | 
							{
 | 
				
			||||||
			Memory32Fixed (ReadOnly, CONFIG_HPET_ADDRESS, 0x400, FED0)
 | 
								Memory32Fixed (ReadOnly, HPET_BASE_ADDRESS, 0x400, FED0)
 | 
				
			||||||
		})
 | 
							})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
		Method (_STA, 0)	// Device Status
 | 
							Method (_STA, 0)	// Device Status
 | 
				
			||||||
@@ -77,15 +79,15 @@ Device (LPCB)
 | 
				
			|||||||
			If (HPTE) {
 | 
								If (HPTE) {
 | 
				
			||||||
				CreateDWordField (BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
									CreateDWordField (BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
				
			||||||
				If (HPAS == 1) {
 | 
									If (HPAS == 1) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x1000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x1000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (HPAS == 2) {
 | 
									If (HPAS == 2) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x2000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x2000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (HPAS == 3) {
 | 
									If (HPAS == 3) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x3000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x3000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
			}
 | 
								}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,7 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
 | 
					
 | 
				
			||||||
// Intel LPC Bus Device  - 0:1f.0
 | 
					// Intel LPC Bus Device  - 0:1f.0
 | 
				
			||||||
 | 
					
 | 
				
			||||||
Device (LPCB)
 | 
					Device (LPCB)
 | 
				
			||||||
@@ -78,7 +80,7 @@ Device (LPCB)
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
		Name(BUF0, ResourceTemplate()
 | 
							Name(BUF0, ResourceTemplate()
 | 
				
			||||||
		{
 | 
							{
 | 
				
			||||||
			Memory32Fixed(ReadOnly, CONFIG_HPET_ADDRESS, 0x400, FED0)
 | 
								Memory32Fixed(ReadOnly, HPET_BASE_ADDRESS, 0x400, FED0)
 | 
				
			||||||
		})
 | 
							})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
		Method (_STA, 0)	// Device Status
 | 
							Method (_STA, 0)	// Device Status
 | 
				
			||||||
@@ -91,15 +93,15 @@ Device (LPCB)
 | 
				
			|||||||
			If (HPTE) {
 | 
								If (HPTE) {
 | 
				
			||||||
				CreateDWordField(BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
									CreateDWordField(BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
				
			||||||
				If (Lequal(HPAS, 1)) {
 | 
									If (Lequal(HPAS, 1)) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x1000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x1000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (Lequal(HPAS, 2)) {
 | 
									If (Lequal(HPAS, 2)) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x2000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x2000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (Lequal(HPAS, 3)) {
 | 
									If (Lequal(HPAS, 3)) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x3000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x3000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
			}
 | 
								}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,6 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
#include <arch/io.h>
 | 
					#include <arch/io.h>
 | 
				
			||||||
#include <arch/ioapic.h>
 | 
					#include <arch/ioapic.h>
 | 
				
			||||||
#include <console/console.h>
 | 
					#include <console/console.h>
 | 
				
			||||||
@@ -213,7 +214,7 @@ static void enable_hpet(struct device *dev)
 | 
				
			|||||||
	u32 reg32, hpet, val;
 | 
						u32 reg32, hpet, val;
 | 
				
			||||||
 | 
					
 | 
				
			||||||
	/* Set HPET base address and enable it */
 | 
						/* Set HPET base address and enable it */
 | 
				
			||||||
	printk(BIOS_DEBUG, "Enabling HPET at 0x%x\n", CONFIG_HPET_ADDRESS);
 | 
						printk(BIOS_DEBUG, "Enabling HPET at 0x%x\n", HPET_BASE_ADDRESS);
 | 
				
			||||||
	reg32 = pci_read_config32(dev, GEN_CNTL);
 | 
						reg32 = pci_read_config32(dev, GEN_CNTL);
 | 
				
			||||||
	/*
 | 
						/*
 | 
				
			||||||
	 * Bit 17 is HPET enable bit.
 | 
						 * Bit 17 is HPET enable bit.
 | 
				
			||||||
@@ -221,7 +222,7 @@ static void enable_hpet(struct device *dev)
 | 
				
			|||||||
	 */
 | 
						 */
 | 
				
			||||||
	reg32 &= ~(3 << 15);	/* Clear it */
 | 
						reg32 &= ~(3 << 15);	/* Clear it */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
	hpet = CONFIG_HPET_ADDRESS >> 12;
 | 
						hpet = HPET_BASE_ADDRESS >> 12;
 | 
				
			||||||
	hpet &= 0x3;
 | 
						hpet &= 0x3;
 | 
				
			||||||
 | 
					
 | 
				
			||||||
	reg32 |= (hpet << 15);
 | 
						reg32 |= (hpet << 15);
 | 
				
			||||||
@@ -234,7 +235,7 @@ static void enable_hpet(struct device *dev)
 | 
				
			|||||||
	val &= 0x7;
 | 
						val &= 0x7;
 | 
				
			||||||
 | 
					
 | 
				
			||||||
	if ((val & 0x4) && (hpet == (val & 0x3))) {
 | 
						if ((val & 0x4) && (hpet == (val & 0x3))) {
 | 
				
			||||||
		printk(BIOS_INFO, "HPET enabled at 0x%x\n", CONFIG_HPET_ADDRESS);
 | 
							printk(BIOS_INFO, "HPET enabled at 0x%x\n", HPET_BASE_ADDRESS);
 | 
				
			||||||
	} else {
 | 
						} else {
 | 
				
			||||||
		printk(BIOS_WARNING, "HPET was not enabled correctly\n");
 | 
							printk(BIOS_WARNING, "HPET was not enabled correctly\n");
 | 
				
			||||||
		reg32 &= ~(1 << 17);	/* Clear Enable */
 | 
							reg32 &= ~(1 << 17);	/* Clear Enable */
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,7 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
 | 
					
 | 
				
			||||||
// Intel LPC Bus Device  - 0:1f.0
 | 
					// Intel LPC Bus Device  - 0:1f.0
 | 
				
			||||||
 | 
					
 | 
				
			||||||
Device (LPCB)
 | 
					Device (LPCB)
 | 
				
			||||||
@@ -60,7 +62,7 @@ Device (LPCB)
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
		Name(BUF0, ResourceTemplate()
 | 
							Name(BUF0, ResourceTemplate()
 | 
				
			||||||
		{
 | 
							{
 | 
				
			||||||
			Memory32Fixed(ReadOnly, CONFIG_HPET_ADDRESS, 0x400, FED0)
 | 
								Memory32Fixed(ReadOnly, HPET_BASE_ADDRESS, 0x400, FED0)
 | 
				
			||||||
		})
 | 
							})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
		Method (_STA, 0)	// Device Status
 | 
							Method (_STA, 0)	// Device Status
 | 
				
			||||||
@@ -73,15 +75,15 @@ Device (LPCB)
 | 
				
			|||||||
			If (HPTE) {
 | 
								If (HPTE) {
 | 
				
			||||||
				CreateDWordField(BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
									CreateDWordField(BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
				
			||||||
				If (HPAS == 1) {
 | 
									If (HPAS == 1) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x1000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x1000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (HPAS == 2) {
 | 
									If (HPAS == 2) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x2000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x2000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (HPAS == 3) {
 | 
									If (HPAS == 3) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x3000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x3000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
			}
 | 
								}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,7 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
 | 
					
 | 
				
			||||||
// Intel LPC Bus Device  - 0:1f.0
 | 
					// Intel LPC Bus Device  - 0:1f.0
 | 
				
			||||||
 | 
					
 | 
				
			||||||
Device (LPCB)
 | 
					Device (LPCB)
 | 
				
			||||||
@@ -60,7 +62,7 @@ Device (LPCB)
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
		Name(BUF0, ResourceTemplate()
 | 
							Name(BUF0, ResourceTemplate()
 | 
				
			||||||
		{
 | 
							{
 | 
				
			||||||
			Memory32Fixed(ReadOnly, CONFIG_HPET_ADDRESS, 0x400, FED0)
 | 
								Memory32Fixed(ReadOnly, HPET_BASE_ADDRESS, 0x400, FED0)
 | 
				
			||||||
		})
 | 
							})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
		Method (_STA, 0)	// Device Status
 | 
							Method (_STA, 0)	// Device Status
 | 
				
			||||||
@@ -73,15 +75,15 @@ Device (LPCB)
 | 
				
			|||||||
			If (HPTE) {
 | 
								If (HPTE) {
 | 
				
			||||||
				CreateDWordField(BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
									CreateDWordField(BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
				
			||||||
				If (Lequal(HPAS, 1)) {
 | 
									If (Lequal(HPAS, 1)) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x1000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x1000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (Lequal(HPAS, 2)) {
 | 
									If (Lequal(HPAS, 2)) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x2000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x2000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (Lequal(HPAS, 3)) {
 | 
									If (Lequal(HPAS, 3)) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x3000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x3000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
			}
 | 
								}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,7 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
 | 
					
 | 
				
			||||||
// Intel LPC Bus Device  - 0:1f.0
 | 
					// Intel LPC Bus Device  - 0:1f.0
 | 
				
			||||||
 | 
					
 | 
				
			||||||
Device (LPCB)
 | 
					Device (LPCB)
 | 
				
			||||||
@@ -60,7 +62,7 @@ Device (LPCB)
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
		Name(BUF0, ResourceTemplate()
 | 
							Name(BUF0, ResourceTemplate()
 | 
				
			||||||
		{
 | 
							{
 | 
				
			||||||
			Memory32Fixed(ReadOnly, CONFIG_HPET_ADDRESS, 0x400, FED0)
 | 
								Memory32Fixed(ReadOnly, HPET_BASE_ADDRESS, 0x400, FED0)
 | 
				
			||||||
		})
 | 
							})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
		Method (_STA, 0)	// Device Status
 | 
							Method (_STA, 0)	// Device Status
 | 
				
			||||||
@@ -73,15 +75,15 @@ Device (LPCB)
 | 
				
			|||||||
			If (HPTE) {
 | 
								If (HPTE) {
 | 
				
			||||||
				CreateDWordField(BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
									CreateDWordField(BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
				
			||||||
				If (Lequal(HPAS, 1)) {
 | 
									If (Lequal(HPAS, 1)) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x1000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x1000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (Lequal(HPAS, 2)) {
 | 
									If (Lequal(HPAS, 2)) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x2000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x2000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (Lequal(HPAS, 3)) {
 | 
									If (Lequal(HPAS, 3)) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x3000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x3000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
			}
 | 
								}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,5 +1,7 @@
 | 
				
			|||||||
/* SPDX-License-Identifier: GPL-2.0-only */
 | 
					/* SPDX-License-Identifier: GPL-2.0-only */
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#include <arch/hpet.h>
 | 
				
			||||||
 | 
					
 | 
				
			||||||
// Intel LPC Bus Device  - 0:1f.0
 | 
					// Intel LPC Bus Device  - 0:1f.0
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#include <southbridge/intel/lynxpoint/pch.h>
 | 
					#include <southbridge/intel/lynxpoint/pch.h>
 | 
				
			||||||
@@ -66,7 +68,7 @@ Device (LPCB)
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
		Name (BUF0, ResourceTemplate ()
 | 
							Name (BUF0, ResourceTemplate ()
 | 
				
			||||||
		{
 | 
							{
 | 
				
			||||||
			Memory32Fixed (ReadOnly, CONFIG_HPET_ADDRESS, 0x400, FED0)
 | 
								Memory32Fixed (ReadOnly, HPET_BASE_ADDRESS, 0x400, FED0)
 | 
				
			||||||
		})
 | 
							})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
		Method (_STA, 0)	// Device Status
 | 
							Method (_STA, 0)	// Device Status
 | 
				
			||||||
@@ -79,15 +81,15 @@ Device (LPCB)
 | 
				
			|||||||
			If (HPTE) {
 | 
								If (HPTE) {
 | 
				
			||||||
				CreateDWordField (BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
									CreateDWordField (BUF0, \_SB.PCI0.LPCB.HPET.FED0._BAS, HPT0)
 | 
				
			||||||
				If (HPAS == 1) {
 | 
									If (HPAS == 1) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x1000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x1000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (HPAS == 2) {
 | 
									If (HPAS == 2) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x2000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x2000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
				If (HPAS == 3) {
 | 
									If (HPAS == 3) {
 | 
				
			||||||
					HPT0 = CONFIG_HPET_ADDRESS + 0x3000
 | 
										HPT0 = HPET_BASE_ADDRESS + 0x3000
 | 
				
			||||||
				}
 | 
									}
 | 
				
			||||||
			}
 | 
								}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
		Reference in New Issue
	
	Block a user