/* On exiting boot services we must make sure the Watchdog Timer is stopped.  */
STATIC VOID EFIAPI WatchdogExitBootServicesEvent(IN EFI_EVENT Event, IN VOID *Context)
/* On exiting boot services we must make sure the Watchdog Timer is stopped.  */
STATIC VOID EFIAPI WatchdogExitBootServicesEvent(IN EFI_EVENT Event, IN VOID *Context)
{
  WatchdogDisable ();
  mTimerPeriod        = 0;
  mExitedBootServices = TRUE;
}