1// SPDX-License-Identifier: GPL-2.0-only 2/* 3 * Copyright (C) 2012 Regents of the University of California 4 */ 5 6#include <linux/reboot.h> 7#include <linux/pm.h> 8 9static void default_power_off(void) 10{ 11 while (1) 12 wait_for_interrupt(); 13} 14 15void (*pm_power_off)(void) = default_power_off; 16EXPORT_SYMBOL(pm_power_off); 17 18void machine_restart(char *cmd) 19{ 20 do_kernel_restart(cmd); 21 while (1); 22} 23 24void machine_halt(void) 25{ 26 pm_power_off(); 27} 28 29void machine_power_off(void) 30{ 31 pm_power_off(); 32} 33