From 993fd2b45140d071d7837ff502df771e87f14127 Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Tue, 23 May 2017 18:32:31 +0100
Subject: [efi] Provide access to ACPI tables

Signed-off-by: Michael Brown <mcb30@ipxe.org>
---
 src/include/ipxe/acpi.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/include/ipxe/acpi.h')

diff --git a/src/include/ipxe/acpi.h b/src/include/ipxe/acpi.h
index e7ca35da9..68131e73a 100644
--- a/src/include/ipxe/acpi.h
+++ b/src/include/ipxe/acpi.h
@@ -215,6 +215,7 @@ struct acpi_model {
 
 /* Include all architecture-independent ACPI API headers */
 #include <ipxe/null_acpi.h>
+#include <ipxe/efi/efi_acpi.h>
 
 /* Include all architecture-dependent ACPI API headers */
 #include <bits/acpi.h>
-- 
cgit v1.2.3-55-g7522