iommu_remove_mapping
void iommu_remove_mapping(void *domain, vm_paddr_t gpa, size_t len);
iommu_remove_mapping(vm->iommu, gpa, sz);