* in the LICENSE file.
*/
+#ifndef ROS_KERN_ACPI_H
+#define ROS_KERN_ACPI_H
+
enum {
Sdthdrsz = 36, /* size of SDT header */
};
extern uintptr_t acpimblocksize(uintptr_t, int *);
+
+int acpiinit(void);
+extern struct Madt *apics;
+
+#endif /* ROS_KERN_ACPI_H */