Start putting together ACPI for guests.
[akaros.git] / kern / include / acpi.h
index 284ed4c..56031df 100644 (file)
@@ -384,6 +384,7 @@ struct Xsdt {
        uint8_t *p;
 };
 
        uint8_t *p;
 };
 
+
 extern uintptr_t acpimblocksize(uintptr_t, int *);
 
 int acpiinit(void);
 extern uintptr_t acpimblocksize(uintptr_t, int *);
 
 int acpiinit(void);