/* One notified function to stop the Host Controller at the end of PEI */
EFI_STATUS EFIAPI XhcEndOfPei(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 XhcEndOfPei(IN EFI_PEI_SERVICES **PeiServices, IN EFI_PEI_NOTIFY_DESCRIPTOR *NotifyDescriptor, IN VOID *Ppi)
{
  PEI_XHC_DEV  *Xhc;
  Xhc = PEI_RECOVERY_USB_XHC_DEV_FROM_THIS_NOTIFY (NotifyDescriptor);
  XhcPeiHaltHC (Xhc, XHC_GENERIC_TIMEOUT);
  XhcPeiFreeSched (Xhc);
  return EFI_SUCCESS;
}