| /* SPDX-License-Identifier: GPL-2.0-only */ |
| |
| /* |
| * ACPI - create the Fixed ACPI Description Tables (FADT) |
| */ |
| |
| #include <console/console.h> |
| #include <acpi/acpi.h> |
| #include <device/device.h> |
| |
| #include "hudson.h" |
| #include "smi.h" |
| |
| #if CONFIG(HUDSON_LEGACY_FREE) |
| #define FADT_BOOT_ARCH ACPI_FADT_LEGACY_FREE |
| #else |
| #define FADT_BOOT_ARCH (ACPI_FADT_LEGACY_DEVICES | ACPI_FADT_8042) |
| #endif |
| |
| /* |
| * Reference section 5.2.9 Fixed ACPI Description Table (FADT) |
| * in the ACPI 3.0b specification. |
| */ |
| void acpi_fill_fadt(acpi_fadt_t *fadt) |
| { |
| printk(BIOS_DEBUG, "pm_base: 0x%04x\n", HUDSON_ACPI_IO_BASE); |
| |
| |
| fadt->pm1a_evt_blk = ACPI_PM_EVT_BLK; |
| fadt->pm1a_cnt_blk = ACPI_PM1_CNT_BLK; |
| fadt->pm_tmr_blk = ACPI_PM_TMR_BLK; |
| fadt->gpe0_blk = ACPI_GPE0_BLK; |
| |
| fadt->pm1_evt_len = 4; /* 32 bits */ |
| fadt->pm1_cnt_len = 2; /* 16 bits */ |
| fadt->pm_tmr_len = 4; /* 32 bits */ |
| fadt->gpe0_blk_len = 8; /* 64 bits */ |
| |
| fill_fadt_extended_pm_io(fadt); |
| |
| fadt->duty_offset = 1; /* CLK_VAL bits 3:1 */ |
| fadt->duty_width = 3; /* CLK_VAL bits 3:1 */ |
| fadt->iapc_boot_arch = FADT_BOOT_ARCH; /* See table 5-10 */ |
| fadt->res2 = 0; /* reserved, MUST be 0 ACPI 3.0 */ |
| fadt->flags |= ACPI_FADT_WBINVD | /* See table 5-10 ACPI 3.0a spec */ |
| ACPI_FADT_C1_SUPPORTED | |
| ACPI_FADT_SLEEP_BUTTON | |
| ACPI_FADT_S4_RTC_WAKE | |
| ACPI_FADT_32BIT_TIMER | |
| ACPI_FADT_PCI_EXPRESS_WAKE | |
| ACPI_FADT_PLATFORM_CLOCK | |
| ACPI_FADT_S4_RTC_VALID | |
| ACPI_FADT_REMOTE_POWER_ON; |
| |
| fadt->x_firmware_ctl_l = 0; /* set to 0 if firmware_ctrl is used */ |
| fadt->x_firmware_ctl_h = 0; |
| } |