1 // SPDX-License-Identifier: GPL-2.0-only
3 * Copyright (C) 2012 Regents of the University of California
6 #include <linux/reboot.h>
10 static void default_power_off(void)
16 void (*pm_power_off)(void) = default_power_off;
17 EXPORT_SYMBOL(pm_power_off);
19 void machine_restart(char *cmd)
21 do_kernel_restart(cmd);
25 void machine_halt(void)
30 void machine_power_off(void)