Searched refs:old_devtb (Results 1 – 1 of 1) sorted by relevance
1094 struct dev_table_entry *old_devtb = NULL; in __copy_device_table() local1124 old_devtb = (cc_platform_has(CC_ATTR_HOST_MEM_ENCRYPT) && is_kdump_kernel()) in __copy_device_table()1129 if (!old_devtb) in __copy_device_table()1137 memunmap(old_devtb); in __copy_device_table()1142 pci_seg->old_dev_tbl_cpy[devid] = old_devtb[devid]; in __copy_device_table()1143 dom_id = old_devtb[devid].data[1] & DEV_DOMID_MASK; in __copy_device_table()1144 dte_v = old_devtb[devid].data[0] & DTE_FLAG_V; in __copy_device_table()1147 pci_seg->old_dev_tbl_cpy[devid].data[0] = old_devtb[devid].data[0]; in __copy_device_table()1148 pci_seg->old_dev_tbl_cpy[devid].data[1] = old_devtb[devid].data[1]; in __copy_device_table()1151 if (old_devtb[devid].data[0] & DTE_FLAG_GV) { in __copy_device_table()[all …]