Symbol: nested_svm_update_tsc_ratio_msr