199 	void		*iommu;			/* (x) iommu-specific data */  member
537 	vm->iommu = NULL;  in vm_init()
675 	if (vm->iommu != NULL)  in vm_cleanup()
676 		iommu_destroy_domain(vm->iommu);  in vm_cleanup()
1131 				iommu_create_mapping(vm->iommu, gpa, hpa, sz);  in vm_iommu_modify()
1133 				iommu_remove_mapping(vm->iommu, gpa, sz);  in vm_iommu_modify()
1145 	iommu_invalidate_tlb(vm->iommu);  in vm_iommu_modify()
1171 		KASSERT(vm->iommu == NULL,  in vm_assign_pptdev()
1174 		vm->iommu = iommu_create_domain(maxaddr);  in vm_assign_pptdev()
1175 		if (vm->iommu == NULL)  in vm_assign_pptdev()
3234 	return (vm->iommu);  in vm_iommu_domain()