CMD_INV_IOTLB_PAGES  952 drivers/iommu/amd_iommu.c 	CMD_SET_TYPE(cmd, CMD_INV_IOTLB_PAGES);
CMD_INV_IOTLB_PAGES  992 drivers/iommu/amd_iommu.c 	CMD_SET_TYPE(cmd, CMD_INV_IOTLB_PAGES);