iommu_create_mapping
iommu_create_mapping(host_domain, 0, 0, maxaddr);
void iommu_create_mapping(void *domain, vm_paddr_t gpa, vm_paddr_t hpa,
iommu_create_mapping(vm->iommu, gpa, hpa, sz);