rseq_current_cpu_raw
rseq_cpu = rseq_current_cpu_raw();
return rseq_current_cpu_raw() >= 0;
assert(rseq_current_cpu_raw() == i);
return rseq_current_cpu_raw() >= 0;
getpid(), (int) rseq_gettid(), rseq_current_cpu_raw(), cpu);
assert(rseq_current_cpu_raw() >= 0);
cpu = rseq_current_cpu_raw();