refile_seq         64 fs/userfaultfd.c 	struct seqcount refile_seq;
refile_seq       1066 fs/userfaultfd.c 			write_seqcount_begin(&ctx->refile_seq);
refile_seq       1092 fs/userfaultfd.c 			write_seqcount_end(&ctx->refile_seq);
refile_seq       1265 fs/userfaultfd.c 		seq = read_seqcount_begin(&ctx->refile_seq);
refile_seq       1269 fs/userfaultfd.c 	} while (read_seqcount_retry(&ctx->refile_seq, seq));
refile_seq       1942 fs/userfaultfd.c 	seqcount_init(&ctx->refile_seq);