From 10e1a0f36629e63ee476e220b269c54e2863b781 Mon Sep 17 00:00:00 2001
From: Julia Lawall <Julia.Lawall@lip6.fr>
Date: Tue, 24 Jul 2012 16:18:14 +0200
Subject: [PATCH] --- yaml --- r: 321437 b: refs/heads/master c:
 d2900bd63f65bf1f40bf17f3c51457ae29fae6a8 h: refs/heads/master i:   321435:
 722acb74e579e1067af477664cc06323378a1649 v: v3

---
 [refs]                            | 2 +-
 trunk/drivers/iommu/intel-iommu.c | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/[refs] b/[refs]
index 567c92c74aa0..26d112738f59 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 9579a974d1018c7f1d42455c29aa3f0d512c99fe
+refs/heads/master: d2900bd63f65bf1f40bf17f3c51457ae29fae6a8
diff --git a/trunk/drivers/iommu/intel-iommu.c b/trunk/drivers/iommu/intel-iommu.c
index 7469b5346643..0204b62480b0 100644
--- a/trunk/drivers/iommu/intel-iommu.c
+++ b/trunk/drivers/iommu/intel-iommu.c
@@ -2008,6 +2008,7 @@ static struct dmar_domain *get_domain_for_dev(struct pci_dev *pdev, int gaw)
 	if (!drhd) {
 		printk(KERN_ERR "IOMMU: can't find DMAR for device %s\n",
 			pci_name(pdev));
+		free_domain_mem(domain);
 		return NULL;
 	}
 	iommu = drhd->iommu;