Searched refs:VCLOCK_HPET (Results 1 – 3 of 3) sorted by relevance
10 #define VCLOCK_HPET 2 /* vDSO should use vread_hpet. */ macro
89 else if (gtod->clock.vclock_mode == VCLOCK_HPET) in vgetns()
753 .archdata = { .vclock_mode = VCLOCK_HPET },