
#include <arch/acpi.h>
#include <cpu/cpu.h>
#include <device/pci_rom.h>
#include <soc/acpi.h>


void acpi_create_serialio_ssdt(acpi_header_t *ssdt) {}

#if IS_ENABLED(CONFIG_HAVE_SMI_HANDLER)
void smm_init(void) {}
#endif

/* Rmodules don't like weak symbols. */
u32 map_oprom_vendev(u32 vendev) { return vendev; }