| /* | |
| * reboot.h - shutdown/reboot header | |
| * | |
| * Copyright 2004-2008 Analog Devices Inc. | |
| * | |
| * Licensed under the GPL-2 or later. | |
| */ | |
| #ifndef __ASM_REBOOT_H__ | |
| #define __ASM_REBOOT_H__ | |
| /* optional board specific hooks */ | |
| extern void native_machine_restart(char *cmd); | |
| extern void native_machine_halt(void); | |
| extern void native_machine_power_off(void); | |
| /* common reboot workarounds */ | |
| extern void bfin_gpio_reset_spi0_ssel1(void); | |
| #endif |