vmx_misc_preemption_timer_rate
vmx_misc_preemption_timer_rate(data) !=
vmx_misc_preemption_timer_rate(vmx_misc))
vmx_misc_preemption_timer_rate(vmcs_config.misc);