1 /* SPDX-License-Identifier: GPL-2.0-only */
8 void acpi_fill_fadt(acpi_fadt_t
*fadt
)
10 const uint16_t pmbase
= ACPI_BASE_ADDRESS
;
13 fadt
->pm1a_evt_blk
= pmbase
+ PM1_STS
;
14 fadt
->pm1a_cnt_blk
= pmbase
+ PM1_CNT
;
15 fadt
->pm2_cnt_blk
= pmbase
+ PM2A_CNT_BLK
;
16 fadt
->pm_tmr_blk
= pmbase
+ PM1_TMR
;
17 fadt
->gpe0_blk
= pmbase
+ GPE0_STS
;
19 fadt
->pm1_evt_len
= 4;
20 fadt
->pm1_cnt_len
= 2;
21 fadt
->pm2_cnt_len
= 1;
23 fadt
->gpe0_blk_len
= 2 * (GPE0_EN
- GPE0_STS
);
25 fill_fadt_extended_pm_io(fadt
);
27 fadt
->iapc_boot_arch
= ACPI_FADT_LEGACY_DEVICES
| ACPI_FADT_8042
;
29 fadt
->flags
|= ACPI_FADT_WBINVD
| ACPI_FADT_C1_SUPPORTED
|
30 ACPI_FADT_SLEEP_BUTTON
|
31 ACPI_FADT_SEALED_CASE
| ACPI_FADT_S4_RTC_WAKE
|
32 ACPI_FADT_PLATFORM_CLOCK
;