old_devtb_size    866 drivers/iommu/amd_iommu_init.c 	u32 lo, hi, devid, old_devtb_size;
old_devtb_size    889 drivers/iommu/amd_iommu_init.c 		old_devtb_size = ((entry & ~PAGE_MASK) + 1) << 12;
old_devtb_size    890 drivers/iommu/amd_iommu_init.c 		if (old_devtb_size != dev_table_size) {