Symbol: tsc_cputimer_count_mfence
sys/cpu/x86_64/misc/cputimer_tsc.c
153
tsc_cputimer.count = tsc_cputimer_count_mfence; /* safe bet */
sys/cpu/x86_64/misc/cputimer_tsc.c
51
static sysclock_t tsc_cputimer_count_mfence(void);