/* SPDX-License-Identifier: GPL-2.0-only */ #include #include #include #include #include #include #include #include #include void override_hpet_ioapic_bdf(void) { union p2sb_bdf ioapic_bdf = { .bus = PCH_IOAPIC_BUS_NUMBER, .dev = PCH_IOAPIC_DEV_NUM, .fn = PCH_IOAPIC_FUNC_NUM, }; union p2sb_bdf hpet_bdf = { .bus = HPET_BUS_NUM, .dev = HPET_DEV_NUM, .fn = HPET0_FUNC_NUM, }; p2sb_set_ioapic_bdf(ioapic_bdf); p2sb_set_hpet_bdf(hpet_bdf); }