#ifndef HW_ACPI_PIIX4_H
#define HW_ACPI_PIIX4_H

Object *piix4_pm_find(void);

#endif