/* One notified function to stop the Host Controller at the end of PEI */
EFI_STATUS EFIAPI EhcEndOfPei(IN EFI_PEI_SERVICES **PeiServices, IN EFI_PEI_NOTIFY_DESCRIPTOR *NotifyDescriptor, IN VOID *Ppi)
/* One notified function to stop the Host Controller at the end of PEI */
EFI_STATUS EFIAPI EhcEndOfPei(IN EFI_PEI_SERVICES **PeiServices, IN EFI_PEI_NOTIFY_DESCRIPTOR *NotifyDescriptor, IN VOID *Ppi)
{
  PEI_USB2_HC_DEV  *Ehc;
  Ehc = PEI_RECOVERY_USB_EHC_DEV_FROM_THIS_NOTIFY (NotifyDescriptor);
  EhcHaltHC (Ehc, EHC_GENERIC_TIMEOUT);
  EhcFreeSched (Ehc);
  return EFI_SUCCESS;
}