PRIMARY_FAULT_REG_LEN 1741 drivers/iommu/dmar.c 				fault_index * PRIMARY_FAULT_REG_LEN + 12);
PRIMARY_FAULT_REG_LEN 1751 drivers/iommu/dmar.c 				     fault_index * PRIMARY_FAULT_REG_LEN + 8);
PRIMARY_FAULT_REG_LEN 1756 drivers/iommu/dmar.c 					fault_index * PRIMARY_FAULT_REG_LEN);
PRIMARY_FAULT_REG_LEN 1762 drivers/iommu/dmar.c 			fault_index * PRIMARY_FAULT_REG_LEN + 12);