free_irte        4338 drivers/iommu/amd_iommu.c 		free_irte(devid, index + i);
free_irte        4357 drivers/iommu/amd_iommu.c 			free_irte(irte_info->devid, irte_info->index);