Intel IOMMU: IOVA allocation and management routines