/* Generic command send function for invalidaing TLB entries  */
static int iommu_queue_inv_iommu_pages(struct amd_iommu *iommu, u64 address, u16 domid, int pde, int s)
/* Generic command send function for invalidaing TLB entries  */
static int iommu_queue_inv_iommu_pages(struct amd_iommu *iommu, u64 address, u16 domid, int pde, int s)
{
	struct iommu_cmd cmd;
	int ret;
	__iommu_build_inv_iommu_pages(&cmd, address, domid, pde, s);
	ret = iommu_queue_command(iommu, &cmd);
	return ret;
}