mb/google/brya/var/orisa: Update Type C DisplayPort HPD Configuration
[coreboot2.git] / src / soc / intel / braswell / fadt.c
blob749d54b07731adf6ca5a35985f2d8c4c3209a1ee
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <acpi/acpi.h>
4 #include <soc/acpi.h>
5 #include <soc/iomap.h>
6 #include <soc/pm.h>
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;
22 fadt->pm_tmr_len = 4;
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;