tsc_get_timecount_lfence
tsc_get_timecount_lfence;
static u_int tsc_get_timecount_lfence(struct timecounter *tc);