/* Starts the SP805 counting down by enabling interrupts. The count down will start from the value stored in the Load register, not from the value where it was previously stopped.  */
STATIC VOID SP805Start(VOID)
/* Starts the SP805 counting down by enabling interrupts. The count down will start from the value stored in the Load register, not from the value where it was previously stopped.  */
STATIC VOID SP805Start(VOID)
{
  if ((MmioRead32 (SP805_WDOG_CONTROL_REG) & SP805_WDOG_CTRL_INTEN) == 0) {
    MmioOr32 (SP805_WDOG_CONTROL_REG, SP805_WDOG_CTRL_INTEN);
  }
}