Jake, It looks like I have applied both the final version of this patch (569975591c5530fdc9c7a3c45122e5e46f075a74) and the original version (618d3adc351a24c4c48437c767befb88ca2d199d) that modified iommu_range_alloc(). Should I revert the original version? Paul.