/* Command send function for invalidating a device table entry  */
static int iommu_flush_device(struct device *dev)
/* Command send function for invalidating a device table entry  */
static int iommu_flush_device(struct device *dev)
{
	struct amd_iommu *iommu;
	struct iommu_cmd cmd;
	u16 devid;
	devid = get_device_id(dev);
	iommu = amd_iommu_rlookup_table[devid];
	memset(&cmd, 0, sizeof(cmd));
	CMD_SET_TYPE(&cmd, CMD_INV_DEV_ENTRY);
	cmd.data[0] = devid;
	return iommu_queue_command(iommu, &cmd);
}