tsc_get_timecount_low_lfence
tsc_get_timecount_low_lfence :
static u_int tsc_get_timecount_low_lfence(struct timecounter *tc);