/* Free the memory block from the memory pool. */
VOID UsbHcFreeMemBlock(IN USBHC_MEM_POOL *Pool, IN USBHC_MEM_BLOCK *Block)
/* Free the memory block from the memory pool. */
VOID UsbHcFreeMemBlock(IN USBHC_MEM_POOL *Pool, IN USBHC_MEM_BLOCK *Block)
{
  EFI_PCI_IO_PROTOCOL  *PciIo;
  ASSERT ((Pool != NULL) && (Block != NULL));
  PciIo = Pool->PciIo;
  PciIo->Unmap (PciIo, Block->Mapping);
  PciIo->FreeBuffer (PciIo, EFI_SIZE_TO_PAGES (Block->BufLen), Block->BufHost);
  gBS->FreePool (Block->Bits);
  gBS->FreePool (Block);
}