Symbol: cpu_sync_core
sys/kern/kern_membarrier.c
66
cpu_sync_core();
sys/sys/proc.h
1226
void cpu_sync_core(void);