docker support

hc

2023-02-18 84d1d1bed0120e0921c876885ca9006fb9ddf42e

1
2
3
4
5
6
7
8
9
10
11
/* SPDX-License-Identifier: GPL-2.0 */

#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