/* Public domain. */

#ifndef _LINUXKPI_LINUX_IOMMU_H_
#define _LINUXKPI_LINUX_IOMMU_H_

#include <linux/device.h>

#define __IOMMU_DOMAIN_PAGING   (1U << 0)
#define __IOMMU_DOMAIN_DMA_API  (1U << 1)
#define __IOMMU_DOMAIN_PT       (1U << 2)
#define __IOMMU_DOMAIN_DMA_FQ   (1U << 3)

#define IOMMU_DOMAIN_BLOCKED    (0U)
#define IOMMU_DOMAIN_IDENTITY   (__IOMMU_DOMAIN_PT)
#define IOMMU_DOMAIN_UNMANAGED  (__IOMMU_DOMAIN_PAGING)
#define IOMMU_DOMAIN_DMA        (__IOMMU_DOMAIN_PAGING | __IOMMU_DOMAIN_DMA_API)
#define IOMMU_DOMAIN_DMA_FQ     (__IOMMU_DOMAIN_PAGING | __IOMMU_DOMAIN_DMA_API | __IOMMU_DOMAIN_DMA_FQ)

struct iommu_domain {
        unsigned int type;
};

static inline struct iommu_domain *
iommu_get_domain_for_dev(struct device *dev __unused)
{
        return (NULL);
}

#endif /* _LINUXKPI_LINUX_IOMMU_H_ */