RE: [PATCH v4 05/12] iommu/vt-d: Make domain attach helpers to be extern