1/* 2 * Copyright 2010 Tilera Corporation. All Rights Reserved. 3 * 4 * This program is free software; you can redistribute it and/or 5 * modify it under the terms of the GNU General Public License 6 * as published by the Free Software Foundation, version 2. 7 * 8 * This program is distributed in the hope that it will be useful, but 9 * WITHOUT ANY WARRANTY; without even the implied warranty of 10 * MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, GOOD TITLE or 11 * NON INFRINGEMENT. See the GNU General Public License for 12 * more details. 13 */ 14 15#include <linux/stddef.h> 16#include <linux/reboot.h> 17#include <linux/smp.h> 18#include <linux/pm.h> 19#include <asm/page.h> 20#include <asm/setup.h> 21#include <hv/hypervisor.h> 22 23#ifndef CONFIG_SMP 24#define smp_send_stop() 25#endif 26 27void machine_halt(void) 28{ 29 warn_early_printk(); 30 raw_local_irq_disable_all(); 31 smp_send_stop(); 32 hv_halt(); 33} 34 35void machine_power_off(void) 36{ 37 warn_early_printk(); 38 raw_local_irq_disable_all(); 39 smp_send_stop(); 40 hv_power_off(); 41} 42 43void machine_restart(char *cmd) 44{ 45 raw_local_irq_disable_all(); 46 smp_send_stop(); 47 hv_restart((HV_VirtAddr) "vmlinux", (HV_VirtAddr) cmd); 48} 49 50/* No interesting distinction to be made here. */ 51void (*pm_power_off)(void) = NULL; 52