/* On exiting boot services we must make sure the SP805 Watchdog Timer is stopped.  */
STATIC VOID EFIAPI ExitBootServicesEvent(IN EFI_EVENT Event, IN VOID *Context)
/* On exiting boot services we must make sure the SP805 Watchdog Timer is stopped.  */
STATIC VOID EFIAPI ExitBootServicesEvent(IN EFI_EVENT Event, IN VOID *Context)
{
  SP805Unlock ();
  SP805Stop ();
  SP805Lock ();
}