Searched refs:decache_tsc_multiplier (Results 1 – 3 of 3) sorted by relevance
459 static inline void decache_tsc_multiplier(struct vcpu_vmx *vmx) in decache_tsc_multiplier() function
2550 decache_tsc_multiplier(vmx); in prepare_vmcs02()4478 decache_tsc_multiplier(vmx); in nested_vmx_vmexit()
1390 decache_tsc_multiplier(vmx); in vmx_vcpu_load_vmcs()
