Searched refs:decache_tsc_multiplier (Results 1 – 1 of 1) sorted by relevance
3048 static void decache_tsc_multiplier(struct vcpu_vmx *vmx) in decache_tsc_multiplier() function3118 decache_tsc_multiplier(vmx); in vmx_vcpu_load()12280 decache_tsc_multiplier(vmx); in prepare_vmcs02()13340 decache_tsc_multiplier(vmx); in nested_vmx_vmexit()
