#ifndef _IO_IOMMU_H_
#define _IO_IOMMU_H_
typedef int (*iommu_init_func_t)(void);
typedef void (*iommu_cleanup_func_t)(void);
typedef void (*iommu_enable_func_t)(void);
typedef void (*iommu_disable_func_t)(void);
typedef void *(*iommu_create_domain_t)(vm_paddr_t maxaddr);
typedef void (*iommu_destroy_domain_t)(void *domain);
typedef int (*iommu_create_mapping_t)(void *domain, vm_paddr_t gpa,
vm_paddr_t hpa, uint64_t len, uint64_t *res_len);
typedef int (*iommu_remove_mapping_t)(void *domain, vm_paddr_t gpa,
uint64_t len, uint64_t *res_len);
typedef int (*iommu_add_device_t)(void *domain, device_t dev, uint16_t rid);
typedef int (*iommu_remove_device_t)(void *dom, device_t dev, uint16_t rid);
typedef int (*iommu_invalidate_tlb_t)(void *dom);
struct iommu_ops {
iommu_init_func_t init;
iommu_cleanup_func_t cleanup;
iommu_enable_func_t enable;
iommu_disable_func_t disable;
iommu_create_domain_t create_domain;
iommu_destroy_domain_t destroy_domain;
iommu_create_mapping_t create_mapping;
iommu_remove_mapping_t remove_mapping;
iommu_add_device_t add_device;
iommu_remove_device_t remove_device;
iommu_invalidate_tlb_t invalidate_tlb;
};
extern const struct iommu_ops iommu_ops_intel;
extern const struct iommu_ops iommu_ops_amd;
void iommu_cleanup(void);
void *iommu_host_domain(void);
void *iommu_create_domain(vm_paddr_t maxaddr);
void iommu_destroy_domain(void *dom);
int iommu_create_mapping(void *dom, vm_paddr_t gpa, vm_paddr_t hpa,
size_t len);
int iommu_remove_mapping(void *dom, vm_paddr_t gpa, size_t len);
int iommu_add_device(void *dom, device_t dev, uint16_t rid);
int iommu_remove_device(void *dom, device_t dev, uint16_t rid);
int iommu_invalidate_tlb(void *domain);
#endif