/* * Copyright 2010 Tilera Corporation. All Rights Reserved. * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation, version 2. * * This program is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, GOOD TITLE or * NON INFRINGEMENT. See the GNU General Public License for * more details. */ #include <linux/stddef.h> #include <linux/reboot.h> #include <linux/smp.h> #include <linux/pm.h> #include <asm/page.h> #include <asm/setup.h> #include <hv/hypervisor.h> #ifndef CONFIG_SMP #define smp_send_stop() #endif void machine_halt(void) { warn_early_printk(); arch_local_irq_disable_all(); smp_send_stop(); hv_halt(); } void machine_power_off(void) { warn_early_printk(); arch_local_irq_disable_all(); smp_send_stop(); hv_power_off(); } void machine_restart(char *cmd) { arch_local_irq_disable_all(); smp_send_stop(); hv_restart((HV_VirtAddr) "vmlinux", (HV_VirtAddr) cmd); } /* No interesting distinction to be made here. */ void (*pm_power_off)(void) = NULL;