4 #include <soc/pci_devs.h>
5 #include <soc/pcr_ids.h>
9 #include <soc/bootblock.h>
14 #define PCR_DMI_ACPIBA 0x27B4
15 #define PCR_DMI_ACPIBDID 0x27B8
16 #define PCR_DMI_DMICTL 0x2234
17 #define PCR_DMI_DMICTL_SRLOCK (1 << 31)
18 #define PCR_DMI_PMBASEA 0x27AC
19 #define PCR_DMI_PMBASEC 0x27B0
void p2sb_set_ioapic_bdf(union p2sb_bdf bdf)
void p2sb_set_hpet_bdf(union p2sb_bdf bdf)
void pcr_write32(uint8_t pid, uint16_t offset, uint32_t indata)
uint32_t pcr_read32(uint8_t pid, uint16_t offset)
#define printk(level,...)
static __always_inline void pci_write_config32(const struct device *dev, u16 reg, u32 val)
static __always_inline u32 pci_read_config32(const struct device *dev, u16 reg)
#define ACPI_BASE_ADDRESS
#define BIOS_INFO
BIOS_INFO - Expected events.
#define PCH_IOAPIC_DEV_NUM
#define PCH_IOAPIC_FUNC_NUM
#define PCH_IOAPIC_BUS_NUMBER
void bootblock_pch_init(void)
void pch_lock_dmictl(void)
void override_hpet_ioapic_bdf(void)
static void soc_config_acpibase(void)
#define PCR_DMI_DMICTL_SRLOCK