1 // SPDX-License-Identifier: GPL-2.0
2 #include <linux/kernel.h>
3 #include <linux/init.h>
7 #include <asm/bios_ebda.h>
9 void __init
x86_early_init_platform_quirks(void)
11 x86_platform
.legacy
.i8042
= X86_LEGACY_I8042_EXPECTED_PRESENT
;
12 x86_platform
.legacy
.rtc
= 1;
13 x86_platform
.legacy
.warm_reset
= 1;
14 x86_platform
.legacy
.reserve_bios_regions
= 0;
15 x86_platform
.legacy
.devices
.pnpbios
= 1;
17 switch (boot_params
.hdr
.hardware_subarch
) {
19 x86_platform
.legacy
.reserve_bios_regions
= 1;
22 x86_platform
.legacy
.devices
.pnpbios
= 0;
23 x86_platform
.legacy
.rtc
= 0;
25 case X86_SUBARCH_INTEL_MID
:
26 case X86_SUBARCH_CE4100
:
27 x86_platform
.legacy
.devices
.pnpbios
= 0;
28 x86_platform
.legacy
.rtc
= 0;
29 x86_platform
.legacy
.i8042
= X86_LEGACY_I8042_PLATFORM_ABSENT
;
33 if (x86_platform
.set_legacy_features
)
34 x86_platform
.set_legacy_features();
37 bool __init
x86_pnpbios_disabled(void)
39 return x86_platform
.legacy
.devices
.pnpbios
== 0;
42 #if defined(CONFIG_PNPBIOS)
43 bool __init
arch_pnpbios_disabled(void)
45 return x86_pnpbios_disabled();