--- /dev/null
+/*
+ * acpi.h
+ * ACPI support.
+ *
+ * Copyright (C) 2008 Nguyen Anh Quynh <aquynh@gmail.com>
+ * Copyright (C) 2002 MandrakeSoft S.A.
+ *
+ * This file may be distributed under the terms of the GNU GPLv3 license.
+ */
+
+#ifndef __ACPI_H
+#define __ACPI_H
+
+#define ACPI_DATA_SIZE 0x00010000L
+
+extern int acpi_enabled;
+
+void acpi_bios_init(void);
+
+#endif