ARM64: DTS: Add rk3399-firefly uart4 device, node as /dev/ttyS1
[firefly-linux-kernel-4.4.55.git] / include / acpi / reboot.h
1 #ifndef __ACPI_REBOOT_H
2 #define __ACPI_REBOOT_H
3
4 #ifdef CONFIG_ACPI
5 extern void acpi_reboot(void);
6 #else
7 static inline void acpi_reboot(void) { }
8 #endif
9
10 #endif
11