Searched refs:VCLOCK_HPET (Results 1 – 4 of 4) sorted by relevance
8 #define VCLOCK_HPET 2 /* vDSO should use vread_hpet. */ macro
204 else if (gtod->vclock_mode == VCLOCK_HPET) in vgetsns()
775 .archdata = { .vclock_mode = VCLOCK_HPET },
813 {VCLOCK_HPET, "hpet"} \