Searched refs:vclock_was_used (Results 1 – 3 of 3) sorted by relevance
42 static inline bool vclock_was_used(int vclock) in vclock_was_used() function
116 if (pvti && vclock_was_used(VCLOCK_PVCLOCK)) { in vvar_fault()126 if (tsc_pg && vclock_was_used(VCLOCK_HVCLOCK)) in vvar_fault()
159 WARN_ON(vclock_was_used(VCLOCK_PVCLOCK)); in pvclock_set_pvti_cpu0_va()