Searched refs:old_devtb_size (Results 1 – 1 of 1) sorted by relevance
1145 u32 lo, hi, old_devtb_size, devid; in __reuse_device_table() local1156 old_devtb_size = ((entry & ~PAGE_MASK) + 1) << 12; in __reuse_device_table()1157 if (old_devtb_size != pci_seg->dev_table_size) { in __reuse_device_table()