blob: b274531ca6a9cc74b25f0a152214070f311b1ca3 [file] [log] [blame]
York Yang9c6c7912016-03-09 11:19:51 -08001/*
2 * This file is part of the coreboot project.
3 *
4 * Copyright (C) 2007-2009 coresystems GmbH
5 *
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; version 2 of the License.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
14 */
15
16#include <soc/acpi.h>
17
18void acpi_create_fadt(acpi_fadt_t *fadt, acpi_facs_t *facs, void *dsdt)
19{
20 acpi_header_t *header = &(fadt->header);
21
22 acpi_fill_in_fadt(fadt, facs, dsdt);
23
24 /* Platform specific customizations go here */
25
26 header->checksum = 0;
27 header->checksum =
28 acpi_checksum((void *) fadt, sizeof(acpi_fadt_t));
29}