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