erebion/coreboot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

arch/x86: Define macros for hard-coded HPET registers

Browse source 
HPET General Capabilities and ID Register at offset 0x0 and Timer 0
Configuration and Capability Register at offset 0x100 are used to
determine the generation of HPET ACPI tables. This patch adds
macro definitions for these registers and fields. Definitions are
from IA-PC HPET (High Precision Event Timers) Specification Revision
1.0a.

Change-Id: I31413afcbfc42307e3ad3f99d75f33f87092d7aa
Signed-off-by: Yuchi Chen <yuchi.chen@intel.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/84252
Reviewed-by: Shuo Liu <shuo.liu@intel.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
Yuchi Chen 2024-09-09 09:53:38 +08:00 • committed by Lean Sheng Tan
commit f8d4283e78
2 changed files with 15 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/arch/x86/include/arch/hpet.h
View file

@ -5,4 +5,15 @@
#define HPET_BASE_ADDRESS 0xfed00000
/**
* Definitions are from IA-PC HPET (High Precision Event Timers) Specification,
* Revision 1.0a
*/
#define HPET_GEN_CAP_ID 0x0
#define HPET_NUM_TIM_CAP_MASK 0x1f
#define HPET_NUM_TIM_CAP_SHIFT 8
#define HPET_TMR0_CNF_CAP 0x100
#define HPET_TIMER_FSB_EN_CNF_MASK (1 << 15)
#endif /* ARCH_X86_HPET_H */

7
src/soc/intel/xeon_sp/uncore_acpi.c
View file

@ -324,13 +324,14 @@ static unsigned long acpi_create_drhd(unsigned long current, struct device *iomm
// Add HPET
if (is_dev_on_domain0(iommu)) {
uint16_t hpet_capid = read16p(HPET_BASE_ADDRESS);
uint16_t num_hpets = (hpet_capid >> 0x08) & 0x1F; // Bits [8:12] has hpet count
uint16_t hpet_capid = read16p(HPET_BASE_ADDRESS + HPET_GEN_CAP_ID);
// Bits [8:12] has hpet count
uint16_t num_hpets = (hpet_capid >> HPET_NUM_TIM_CAP_SHIFT) & HPET_NUM_TIM_CAP_MASK;
printk(BIOS_SPEW, "%s hpet_capid: 0x%x, num_hpets: 0x%x\n",
__func__, hpet_capid, num_hpets);
//BIT 15
if (num_hpets && (num_hpets != 0x1f) &&
(read32p(HPET_BASE_ADDRESS + 0x100) & (0x00008000))) {
(read32p(HPET_BASE_ADDRESS + HPET_TMR0_CNF_CAP) & (HPET_TIMER_FSB_EN_CNF_MASK))) {
union p2sb_bdf hpet_bdf = soc_get_hpet_bdf();
printk(BIOS_DEBUG, " [Message-capable HPET Device] Enumeration ID: 0x%x, "
"PCI Bus Number: 0x%x, PCI Path: 0x%x, 0x%x\n",