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;