DELTA 310101 217 337 SVNF}  !Vptypedef uint64_t (*hyperv_tc64_t)(void); int hyperv_guid2str(const struct hyperv_guid *, char *, size_t); /* * hyperv_tc64 could be NULL, if there were no suitable Hyper-V * specific timecounter. */ extern hyperv_tc64_t hyperv_tc64; extern u_int ENDREP DELTA 310465 0 24 SVNY!V~e hyperv_tc64 != NULLhyperv_tc64(ENDREP DELTA 310239 874 343 SVN*-,+q03Nd|YJTVint64_t \ hyperv_tc64_tsc_##fence(void) \ static u_int \ hyperv_tsc_timecount_##fence(struct timecounter *tc __unused) \ { \ \ return (hyperv_tc64_tsc_##fence(hyperv_tc64_t tc64 = NULL;tc64 = hyperv_tc64_tsctc64 = hyperv_tc64_tscInstall 64 bits timecounter method for other modules to use. */ KASSERT(tc64 != NULL, ("tc64 is not set")); hyperv_tc64 = tc64ENDREP DELTA 300827 368 2346 SVN:"W!6 H;a<)b+xx^Umo0 iSN]+UU"Q4MlC孱SNB4?2' }kѓ