hw/i386/acpi-microvm.h

#ifndef HW_I386_ACPI_MICROVM_H
#define HW_I386_ACPI_MICROVM_H

#include "hw/i386/microvm.h"

void acpi_setup_microvm(MicrovmMachineState *mms);

#endif