membarrier_private_expedited
return membarrier_private_expedited(0, cpu_id);
return membarrier_private_expedited(MEMBARRIER_FLAG_SYNC_CORE, cpu_id);
return membarrier_private_expedited(MEMBARRIER_FLAG_RSEQ, cpu_id);