Searched refs:read_tsc (Results 1 – 1 of 1) sorted by relevance
1359 static u64 read_tsc(void) in read_tsc() function1400 *tsc_timestamp = read_tsc(); in vgettsc()