coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
fadt.c
Go to the documentation of this file.
1
/* SPDX-License-Identifier: GPL-2.0-only */
2
3
#include <
acpi/acpi.h
>
4
#include <soc/acpi.h>
5
6
void
mainboard_fill_fadt
(
acpi_fadt_t
*fadt)
7
{
8
fadt->
preferred_pm_profile
=
PM_ENTERPRISE_SERVER
;
9
}
acpi.h
PM_ENTERPRISE_SERVER
@ PM_ENTERPRISE_SERVER
Definition:
acpi.h:837
mainboard_fill_fadt
void mainboard_fill_fadt(acpi_fadt_t *fadt)
Definition:
fadt.c:6
acpi_fadt
Definition:
acpi.h:707
acpi_fadt::preferred_pm_profile
u8 preferred_pm_profile
Definition:
acpi.h:712
src
mainboard
ocp
deltalake
fadt.c
Generated by
1.9.1