Symbol: iommu_create_mapping
sys/amd64/vmm/io/iommu.c
216
iommu_create_mapping(host_domain, 0, 0, maxaddr);
sys/amd64/vmm/io/iommu.h
68
int iommu_create_mapping(void *dom, vm_paddr_t gpa, vm_paddr_t hpa,
sys/amd64/vmm/vmm.c
509
iommu_create_mapping(vm->iommu, gpa, hpa, PAGE_SIZE);