Searched refs:decache_tsc_multiplier (Results 1 – 3 of 3) sorted by relevance
490 static inline void decache_tsc_multiplier(struct vcpu_vmx *vmx) in decache_tsc_multiplier() function
2559 decache_tsc_multiplier(vmx); in prepare_vmcs02()4525 decache_tsc_multiplier(vmx); in nested_vmx_vmexit()
1470 decache_tsc_multiplier(vmx); in vmx_vcpu_load_vmcs()