Lines Matching refs:domain
49 typedef void (*iommu_destroy_domain_t)(void *domain);
50 typedef uint64_t (*iommu_create_mapping_t)(void *domain, vm_paddr_t gpa,
52 typedef uint64_t (*iommu_remove_mapping_t)(void *domain, vm_paddr_t gpa,
54 typedef void (*iommu_add_device_t)(void *domain, uint16_t rid);
55 typedef void (*iommu_remove_device_t)(void *domain, uint16_t rid);
56 typedef void (*iommu_invalidate_tlb_t)(void *domain);
77 void iommu_destroy_domain(void *domain);
78 void iommu_create_mapping(void *domain, vm_paddr_t gpa, vm_paddr_t hpa,
80 void iommu_remove_mapping(void *domain, vm_paddr_t gpa, size_t len);
81 void iommu_add_device(void *domain, uint16_t rid);
82 void iommu_remove_device(void *domain, uint16_t rid);
83 void iommu_invalidate_tlb(void *domain);