|
@@ -913,6 +913,11 @@ late_initcall(hpet_insert_resource);
|
|
|
|
|
|
|
|
static int __init acpi_parse_fadt(struct acpi_table_header *table)
|
|
static int __init acpi_parse_fadt(struct acpi_table_header *table)
|
|
|
{
|
|
{
|
|
|
|
|
+ if (!(acpi_gbl_FADT.boot_flags & ACPI_FADT_LEGACY_DEVICES)) {
|
|
|
|
|
+ pr_debug("ACPI: no legacy devices present\n");
|
|
|
|
|
+ x86_platform.legacy.devices.pnpbios = 0;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
if (acpi_gbl_FADT.boot_flags & ACPI_FADT_NO_CMOS_RTC) {
|
|
if (acpi_gbl_FADT.boot_flags & ACPI_FADT_NO_CMOS_RTC) {
|
|
|
pr_debug("ACPI: not registering RTC platform device\n");
|
|
pr_debug("ACPI: not registering RTC platform device\n");
|
|
|
x86_platform.legacy.rtc = 0;
|
|
x86_platform.legacy.rtc = 0;
|