path: root/hw/i386/acpi-build.h

#ifndef HW_I386_ACPI_BUILD_H
#define HW_I386_ACPI_BUILD_H

void acpi_setup(void);

#endif