| Martin Roth | 433659a | 2014-05-12 21:55:00 -0600 | [diff] [blame] | 1 | |
| 2 | #include <arch/acpi.h> | ||||
| 3 | #include <cpu/cpu.h> | ||||
| 4 | #include <device/pci_rom.h> | ||||
| Ben Gardner | fa6014a | 2015-12-08 21:20:25 -0600 | [diff] [blame] | 5 | #include <soc/acpi.h> |
| Martin Roth | 433659a | 2014-05-12 21:55:00 -0600 | [diff] [blame] | 6 | |
| 7 | |||||
| 8 | void acpi_create_serialio_ssdt(acpi_header_t *ssdt) {} | ||||
| 9 | |||||
| 10 | #if IS_ENABLED(CONFIG_HAVE_SMI_HANDLER) | ||||
| 11 | void smm_init(void) {} | ||||
| 12 | #endif | ||||
| 13 | |||||
| 14 | /* Rmodules don't like weak symbols. */ | ||||
| 15 | u32 map_oprom_vendev(u32 vendev) { return vendev; } | ||||