MEMBARRIER_FLAG_RSEQ
} else if (flags == MEMBARRIER_FLAG_RSEQ) {
} else if (flags == MEMBARRIER_FLAG_RSEQ) {
if (flags & MEMBARRIER_FLAG_RSEQ)
return membarrier_private_expedited(MEMBARRIER_FLAG_RSEQ, cpu_id);
return membarrier_register_private_expedited(MEMBARRIER_FLAG_RSEQ);