1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 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> 10 #include <soc/pch.h> 11 #include <soc/pmc.h> 12 override_hpet_ioapic_bdf(void)13void override_hpet_ioapic_bdf(void) 14 { 15 union p2sb_bdf ioapic_bdf = { 16 .bus = PCH_IOAPIC_BUS_NUMBER, 17 .dev = PCH_IOAPIC_DEV_NUM, 18 .fn = PCH_IOAPIC_FUNC_NUM, 19 }; 20 union p2sb_bdf hpet_bdf = { 21 .bus = HPET_BUS_NUM, 22 .dev = HPET_DEV_NUM, 23 .fn = HPET0_FUNC_NUM, 24 }; 25 26 p2sb_set_ioapic_bdf(ioapic_bdf); 27 p2sb_set_hpet_bdf(hpet_bdf); 28 } 29