[PATCH 1/6] driver core: Introduce device_iommu_mapped() function