1 2 #ifndef HW_I386_ACPI_BUILD_H 3 #define HW_I386_ACPI_BUILD_H 4 5 void acpi_setup(void); 6 7 #endif 8