AMD IOMMU: bug fixes

Hi,
The following 3 patches fix minor bugs for amd iommu, please apply them to both xen-3.3-testing and xen-unstable.

Thanks,
-Wei

--
AMD Saxony, Dresden, Germany
Operating System Research Center

Legal Information:
AMD Saxony Limited Liability Company & Co. KG Sitz (Geschäftsanschrift):
Wilschdorfer Landstr. 101, 01109 Dresden, Deutschland
Registergericht Dresden: HRA 4896 vertretungsberechtigter Komplementär:
AMD Saxony LLC (Sitz Wilmington, Delaware, USA)
Geschäftsführer der AMD Saxony LLC:
Dr. Hans-R. Deppe, Thomas McCoy

Why would I backport to a stable branch support for hardware which doesn't yet exist?

-- Keir

Keir,
The reason I suggested to backport is that xen3.3 provides complete amd iommu support already and as AMD will release iommu in the future, if people still use xen3.3 at that time, it would be better to have this fix. Actually, this fix only affects amd iommu portion, the backport effort should be very little and I would not think it will break stability of xen33.

Thanks,
-Wei