text: /*********************************************************************
   *                
   * Copyright (C) 2004,  National ICT Australia (NICTA)
   *                
   * File path:     kdb/platform/pleb2/reboot.cc
   * Description:   PLEB2 system reset
   *                
   * Redistribution and use in source and binary forms, with or without
   * modification, are permitted provided that the following conditions
   * are met:
   * 1. Redistributions of source code must retain the above copyright
   *    notice, this list of conditions and the following disclaimer.
   * 2. Redistributions in binary form must reproduce the above copyright
   *    notice, this list of conditions and the following disclaimer in the
   *    documentation and/or other materials provided with the distribution.
   * 
   * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
   * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
   * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
   * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
   * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
   * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
   * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
   * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
   * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
   * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
   * SUCH DAMAGE.
   *                
   * $Id: reboot.cc,v 1.1 2004/12/02 22:04:08 cvansch Exp $
   *                
   ********************************************************************/
  #include <debug.h>
  #include <kdb/kdb.h>
  
  #include INC_API(space.h)
  #include INC_PLAT(timer.h)
  
  /*
   * Reboot the box
   */
  DECLARE_CMD (cmd_reboot, root, '6', "reset", "Reset system");
  
  CMD (cmd_reboot, cg)
  {
      printf("\nReset...\n");
  
      XSCALE_OS_TIMER_MR3 = 0x1000;	/* Set watchdog timeout */
      XSCALE_OS_TIMER_WMER = 0x1;		/* Enable watchdog */
      XSCALE_OS_TIMER_TCR = 0x0;		/* Reset timer */
  
      return CMD_NOQUIT;
  }
  