#ifndef HW_I386_ACPI_BUILD_H
#define HW_I386_ACPI_BUILD_H
#include "qemu/typedefs.h"
void acpi_setup(PcGuestInfo *);
#endif