raw_read_seqcount
seq = raw_read_seqcount(&vcpu->arch.cputm_seqcount);
return raw_read_seqcount(>->tlb.seqno);
VM_BUG_ON(!(raw_read_seqcount(&vma->vm_mm->write_protect_seq) & 1));
start = raw_read_seqcount(s); \
raw_read_seqcount(s) & ~1; \
if (unlikely(vma->vm_lock_seq == raw_read_seqcount(&mm->mm_lock_seq))) {
u32 seq = raw_read_seqcount(s);
} while (seq == raw_read_seqcount(s));