1 // SPDX-License-Identifier: GPL-2.0-only
3 * Copyright (C) 2012 Regents of the University of California
6 #include <linux/reboot.h>
9 static void default_power_off(void)
15 void (*pm_power_off)(void) = default_power_off;
16 EXPORT_SYMBOL(pm_power_off);
18 void machine_restart(char *cmd)
20 do_kernel_restart(cmd);
24 void machine_halt(void)
29 void machine_power_off(void)