Add the rt linux 4.1.3-rt3 as base

[kvmfornfv.git] / kernel / include / acpi / reboot.h

diff --git a/kernel/include/acpi/reboot.h b/kernel/include/acpi/reboot.h
new file mode 100644 (file)
index 0000000..0419184
--- /dev/null
+++ b/kernel/include/acpi/reboot.h
@@ -0,0 +1,11 @@
+#ifndef __ACPI_REBOOT_H
+#define __ACPI_REBOOT_H
+
+#ifdef CONFIG_ACPI
+extern void acpi_reboot(void);
+#else
+static inline void acpi_reboot(void) { }
+#endif
+
+#endif
+