__read_seqcount_begin
unsigned int seq = __read_seqcount_begin(&resv->seq);
unsigned int ret = __read_seqcount_begin(s);