Searched refs:inv_waitd_seq (Results 1 – 3 of 3) sorted by relevance
370 if (x86c->inv_waitd_seq == 0xffffffff) { in iommu_qi_emit_wait_seq()372 gsec.seq = x86c->inv_waitd_seq; in iommu_qi_emit_wait_seq()380 x86c->inv_waitd_seq = 1; in iommu_qi_emit_wait_seq()382 seq = x86c->inv_waitd_seq++; in iommu_qi_emit_wait_seq()516 x86c->inv_waitd_seq = 1; in iommu_qi_common_init()
134 uint32_t inv_waitd_seq; /* next sequence number to use for wait descr */ member
1243 unit->x86c.inv_waitd_seq, in dmar_print_one()