Searched refs:decache_tsc_multiplier (Results 1 – 3 of 3) sorted by relevance
508 static inline void decache_tsc_multiplier(struct vcpu_vmx *vmx) in decache_tsc_multiplier() function
2353 decache_tsc_multiplier(vmx); in prepare_vmcs02()4127 decache_tsc_multiplier(vmx); in nested_vmx_vmexit()
1372 decache_tsc_multiplier(vmx); in vmx_vcpu_load_vmcs()