From bd9db8d9e47835188cdd85369c0f25b2fa928142 Mon Sep 17 00:00:00 2001
From: Felix Held <felix-coreboot@felixheld.de>
Date: Sat, 29 Apr 2023 02:05:05 +0200
Subject: [PATCH] soc/amd/common/block/lpc/lpc: report HPET MMIO

Signed-off-by: Felix Held <felix-coreboot@felixheld.de>
Change-Id: I77471d464dddffc63bb2f005fef3a33c84ff5f5e
Reviewed-on: https://review.coreboot.org/c/coreboot/+/74847
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Matt DeVillier <matt.devillier@amd.corp-partner.google.com>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
---
 src/soc/amd/common/block/lpc/lpc.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/soc/amd/common/block/lpc/lpc.c b/src/soc/amd/common/block/lpc/lpc.c
index 43b3791fa5..3da326623c 100644
--- a/src/soc/amd/common/block/lpc/lpc.c
+++ b/src/soc/amd/common/block/lpc/lpc.c
@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <arch/hpet.h>
 #include <arch/ioapic.h>
 #include <console/console.h>
 #include <device/device.h>
@@ -129,6 +130,9 @@ static void lpc_read_resources(struct device *dev)
 	/* FCH IOAPIC */
 	mmio_range(dev, 4, IO_APIC_ADDR, 4 * KiB);
 
+	/* HPET */
+	mmio_range(dev, 5, HPET_BASE_ADDRESS, 4 * KiB);
+
 	compact_resources(dev);
 }