path: root/include/hw/acpi/piix4.h

#ifndef HW_ACPI_PIIX4_H
#define HW_ACPI_PIIX4_H

Object *piix4_pm_find(void);

#endif