Searched refs:inv_waitd_seq (Results 1 – 3 of 3) sorted by relevance
364 if (x86c->inv_waitd_seq == 0xffffffff) { in iommu_qi_emit_wait_seq()366 gsec.seq = x86c->inv_waitd_seq; in iommu_qi_emit_wait_seq()374 x86c->inv_waitd_seq = 1; in iommu_qi_emit_wait_seq()376 seq = x86c->inv_waitd_seq++; in iommu_qi_emit_wait_seq()510 x86c->inv_waitd_seq = 1; in iommu_qi_common_init()
133 uint32_t inv_waitd_seq; /* next sequence number to use for wait descr */ member
1245 unit->x86c.inv_waitd_seq, in dmar_print_one()