Searched refs:tsc_aux (Results 1 – 2 of 2) sorted by relevance
201 uint64_t tsc_aux; member2237 wrmsrl(MSR_TSC_AUX, svm->tsc_aux); in svm_vcpu_load()4095 msr_info->data = svm->tsc_aux; in svm_get_msr()4317 svm->tsc_aux = data; in svm_set_msr()4318 wrmsrl(MSR_TSC_AUX, svm->tsc_aux); in svm_set_msr()
3550 u64 tsc_aux = 0; in em_rdpid() local3552 if (ctxt->ops->get_msr(ctxt, MSR_TSC_AUX, &tsc_aux)) in em_rdpid()3554 ctxt->dst.val = tsc_aux; in em_rdpid()
