Searched refs:tc64 (Results 1 – 1 of 1) sorted by relevance
182 hyperv_tc64_t tc64 = NULL; in hyperv_tsc_tcinit() local196 tc64 = hyperv_tc64_tsc_mfence; in hyperv_tsc_tcinit()202 tc64 = hyperv_tc64_tsc_lfence; in hyperv_tsc_tcinit()227 KASSERT(tc64 != NULL, ("tc64 is not set")); in hyperv_tsc_tcinit()228 hyperv_tc64 = tc64; in hyperv_tsc_tcinit()