acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / google / jecht / acpi_tables.c
blobbc8ce27ce1ca982a7e51f1b0903372f68da4e22b
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <acpi/acpi.h>
4 #include <acpi/acpi_gnvs.h>
5 #include <device/device.h>
6 #include <soc/acpi.h>
7 #include <soc/nvs.h>
8 #include <variant/thermal.h>
10 void mainboard_fill_gnvs(struct global_nvs *gnvs)
12 gnvs->tmps = TEMPERATURE_SENSOR_ID;
13 gnvs->tcrt = CRITICAL_TEMPERATURE;
14 gnvs->tpsv = PASSIVE_TEMPERATURE;
15 gnvs->tmax = MAX_TEMPERATURE;
16 gnvs->flvl = 1;
19 void mainboard_fill_fadt(acpi_fadt_t *fadt)
21 fadt->preferred_pm_profile = PM_MOBILE;