Symbol: cpu_wbinvd_on_all_cpus_callback
sys/cpu/x86_64/include/cpufunc.h
578
void cpu_wbinvd_on_all_cpus_callback(void *arg);
sys/cpu/x86_64/include/cpufunc.h
583
lwkt_cpusync_simple(smp_active_mask, cpu_wbinvd_on_all_cpus_callback, NULL);