Searched refs:read_tsc (Results 1 - 3 of 3) sorted by relevance

/linux-4.4.14/arch/x86/entry/vdso/
H A Dvclock_gettime.c123 /* refer to tsc.c read_tsc() comment for rationale */ vread_pvclock()
/linux-4.4.14/arch/x86/kernel/
H A Dtsc.c984 * checking the result of read_tsc() - cycle_last for being negative.
987 static cycle_t read_tsc(struct clocksource *cs) read_tsc() function
993 * .mask MUST be CLOCKSOURCE_MASK(64). See comment above read_tsc()
998 .read = read_tsc,
/linux-4.4.14/arch/x86/kvm/
H A Dx86.c1551 static cycle_t read_tsc(void) read_tsc() function
1576 *cycle_now = read_tsc(); vgettsc()

Completed in 162 milliseconds