Searched refs:VCLOCK_TSC (Results 1 – 3 of 3) sorted by relevance
9 #define VCLOCK_TSC 1 /* vDSO should use vread_tsc. */ macro
87 if (gtod->clock.vclock_mode == VCLOCK_TSC) in vgetns()
778 .archdata = { .vclock_mode = VCLOCK_TSC },