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