Searched refs:decache_tsc_multiplier (Results 1 – 3 of 3) sorted by relevance
494 static inline void decache_tsc_multiplier(struct vcpu_vmx *vmx) in decache_tsc_multiplier() function
2575 decache_tsc_multiplier(vmx); in prepare_vmcs02()4567 decache_tsc_multiplier(vmx); in nested_vmx_vmexit()
1468 decache_tsc_multiplier(vmx); in vmx_vcpu_load_vmcs()