intel_gt_tlb_seqno
u32 cur = intel_gt_tlb_seqno(gt);
return intel_gt_tlb_seqno(gt) | 1;
intel_gt_invalidate_tlb_full(vm->gt, intel_gt_tlb_seqno(vm->gt) | 1);