cor_mask_orig     329 drivers/pci/pcie/aer_inject.c 	u32 sever, cor_mask, uncor_mask, cor_mask_orig = 0, uncor_mask_orig = 0;
cor_mask_orig     372 drivers/pci/pcie/aer_inject.c 		cor_mask_orig = cor_mask;
cor_mask_orig     449 drivers/pci/pcie/aer_inject.c 				       cor_mask_orig);