| /* |
| * This file is part of the coreboot project. |
| * |
| * Copyright (C) 2016 Intel Corp. |
| * (Written by Lijian Zhao <lijian.zhao@intel.com> for Intel Corp.) |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| */ |
| |
| #include <arch/acpi.h> |
| |
| unsigned long acpi_fill_mcfg(unsigned long current) |
| { |
| return 0; |
| } |
| unsigned long acpi_fill_madt(unsigned long current) |
| { |
| return 0; |
| } |