From c09b627973d9362caba39de09f7d2c6990eb9701 Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Mon, 1 Mar 2021 01:38:54 +0000
Subject: [linux] Provide ACPI settings via /sys/firmware/acpi/tables

Signed-off-by: Michael Brown <mcb30@ipxe.org>
---
 src/include/ipxe/acpi.h             |  1 +
 src/include/ipxe/linux/linux_acpi.h | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 src/include/ipxe/linux/linux_acpi.h

(limited to 'src/include')

diff --git a/src/include/ipxe/acpi.h b/src/include/ipxe/acpi.h
index 6d19f05fa..81ef7ff76 100644
--- a/src/include/ipxe/acpi.h
+++ b/src/include/ipxe/acpi.h
@@ -360,6 +360,7 @@ extern userptr_t acpi_find_via_rsdt ( uint32_t signature, unsigned int index );
 /* Include all architecture-independent ACPI API headers */
 #include <ipxe/null_acpi.h>
 #include <ipxe/efi/efi_acpi.h>
+#include <ipxe/linux/linux_acpi.h>
 
 /* Include all architecture-dependent ACPI API headers */
 #include <bits/acpi.h>
diff --git a/src/include/ipxe/linux/linux_acpi.h b/src/include/ipxe/linux/linux_acpi.h
new file mode 100644
index 000000000..a2c33ce2c
--- /dev/null
+++ b/src/include/ipxe/linux/linux_acpi.h
@@ -0,0 +1,18 @@
+#ifndef _IPXE_LINUX_ACPI_H
+#define _IPXE_LINUX_ACPI_H
+
+/** @file
+ *
+ * iPXE ACPI API for Linux
+ *
+ */
+
+FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+
+#ifdef ACPI_LINUX
+#define ACPI_PREFIX_linux
+#else
+#define ACPI_PREFIX_linux __linux_
+#endif
+
+#endif /* _IPXE_LINUX_ACPI_H */
-- 
cgit v1.2.3-55-g7522