1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <device/pci_ops.h>
4 #include <soc/pci_devs.h>
5 #include <soc/pcr_ids.h>
6 #include <intelblocks/pcr.h>
7 #include <intelblocks/rtc.h>
8 #include <intelblocks/p2sb.h>
9 #include <soc/bootblock.h>
13 void override_hpet_ioapic_bdf(void)
15 union p2sb_bdf ioapic_bdf
= {
16 .bus
= PCH_IOAPIC_BUS_NUMBER
,
17 .dev
= PCH_IOAPIC_DEV_NUM
,
18 .fn
= PCH_IOAPIC_FUNC_NUM
,
20 union p2sb_bdf hpet_bdf
= {
26 p2sb_set_ioapic_bdf(ioapic_bdf
);
27 p2sb_set_hpet_bdf(hpet_bdf
);