/* Completes the Map() operation and releases any corresponding resources. */
EFI_STATUS IoMmuUnmap(IN VOID *Mapping)
/* Completes the Map() operation and releases any corresponding resources. */
EFI_STATUS IoMmuUnmap(IN VOID *Mapping)
{
  EFI_STATUS       Status;
  EDKII_IOMMU_PPI  *IoMmu;
  IoMmu = GetIoMmu ();
  if (IoMmu != NULL) {
    Status = IoMmu->SetAttribute (IoMmu, Mapping, 0);
    Status = IoMmu->Unmap (IoMmu, Mapping);
  } else {
    Status = EFI_SUCCESS;
  }
  return Status;
}