/*.
 *
 * ########################################################################
 *
 *  This program is free software; you can distribute it and/or modify it
 *  under the terms of the GNU General Public License (Version 2) as
 *  published by the Free Software Foundation.
 *
 *  This program is distributed in the hope it will be useful, but WITHOUT
 *  ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 *  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 *  for more details.
 *
 *  You should have received a copy of the GNU General Public License along
 *  with this program; if not, write to the Free Software Foundation, Inc.,
 *  59 Temple Place - Suite 330, Boston MA 02111-1307, USA.
 *
 * ########################################################################
 *
 * Reset the PNX8550 board.
 *
 */
#include <asm/reboot.h>
#include <glb.h>

void pnx8550_machine_restart(char *command)
{
	char head[] = "************* Machine restart *************";
	char foot[] = "*******************************************";

	printk("\n\n");
	printk("%s\n", head);
	if (command != NULL)
		printk("* %s\n", command);
	printk("%s\n", foot);

	PNX8550_RST_CTL = PNX8550_RST_DO_SW_RST;
}

void pnx8550_machine_halt(void)
{
	printk("*** Machine halt. (Not implemented) ***\n");
}

void pnx8550_machine_power_off(void)
{
	printk("*** Machine power off.  (Not implemented) ***\n");
}
