cap_num_fault_regs
if (fault_index >= cap_num_fault_regs(iommu->cap))
(cap_fault_reg_offset(c) + cap_num_fault_regs(c) * 16)