// SPDX-License-Identifier: GPL-2.0 #include <linux/kernel.h> #include <linux/init.h> #include <linux/pnp.h> #include <asm/setup.h> #include <asm/bios_ebda.h> void __init x86_early_init_platform_quirks(void) { … } bool __init x86_pnpbios_disabled(void) { … } #if defined(CONFIG_PNPBIOS) bool __init arch_pnpbios_disabled(void) { return x86_pnpbios_disabled(); } #endif