/* Stop the SP805 watchdog timer from counting down by disabling interrupts.  */
STATIC VOID SP805Stop(VOID)
/* Stop the SP805 watchdog timer from counting down by disabling interrupts.  */
STATIC VOID SP805Stop(VOID)
{
  if ((MmioRead32 (SP805_WDOG_CONTROL_REG) & SP805_WDOG_CTRL_INTEN) != 0) {
    MmioAnd32 (SP805_WDOG_CONTROL_REG, ~SP805_WDOG_CTRL_INTEN);
  }
}