Searched refs:old_devtb_size (Results 1 – 1 of 1) sorted by relevance
937 u32 lo, hi, devid, old_devtb_size; in copy_device_table() local960 old_devtb_size = ((entry & ~PAGE_MASK) + 1) << 12; in copy_device_table()961 if (old_devtb_size != dev_table_size) { in copy_device_table()