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