Symbol: iommu_invalidate_tlb
sys/amd64/vmm/io/iommu.h
73
int iommu_invalidate_tlb(void *domain);
sys/amd64/vmm/vmm.c
513
error = iommu_invalidate_tlb(iommu_host_domain());
sys/amd64/vmm/vmm.c
551
error = iommu_invalidate_tlb(vm->iommu);