Symbol: HYPERV_TSC_TIMECOUNT
sys/dev/hyperv/vmbus/amd64/hyperv_machdep.c
176
HYPERV_TSC_TIMECOUNT(lfence);
sys/dev/hyperv/vmbus/amd64/hyperv_machdep.c
177
HYPERV_TSC_TIMECOUNT(mfence);