/* Free the memory block from the memory pool. */
VOID SdPeimFreeMemBlock(IN SD_PEIM_MEM_POOL *Pool, IN SD_PEIM_MEM_BLOCK *Block)
/* Free the memory block from the memory pool. */
VOID SdPeimFreeMemBlock(IN SD_PEIM_MEM_POOL *Pool, IN SD_PEIM_MEM_BLOCK *Block)
{
  ASSERT ((Pool != NULL) && (Block != NULL));
  IoMmuFreeBuffer (EFI_SIZE_TO_PAGES (Block->BufLen), Block->BufHost, Block->Mapping);
}