fault_index      1711 drivers/iommu/dmar.c 	int reg, fault_index;
fault_index      1727 drivers/iommu/dmar.c 	fault_index = dma_fsts_fault_record_index(fault_status);
fault_index      1741 drivers/iommu/dmar.c 				fault_index * PRIMARY_FAULT_REG_LEN + 12);
fault_index      1751 drivers/iommu/dmar.c 				     fault_index * PRIMARY_FAULT_REG_LEN + 8);
fault_index      1756 drivers/iommu/dmar.c 					fault_index * PRIMARY_FAULT_REG_LEN);
fault_index      1762 drivers/iommu/dmar.c 			fault_index * PRIMARY_FAULT_REG_LEN + 12);
fault_index      1772 drivers/iommu/dmar.c 		fault_index++;
fault_index      1773 drivers/iommu/dmar.c 		if (fault_index >= cap_num_fault_regs(iommu->cap))
fault_index      1774 drivers/iommu/dmar.c 			fault_index = 0;