Searched refs:TPR_THRESHOLD (Results 1 – 4 of 4) sorted by relevance
409 __vmwrite(TPR_THRESHOLD, tpr_threshold); in vmx_intr_assist()
737 __vmwrite(TPR_THRESHOLD, get_vvmcs(v, TPR_THRESHOLD)); in nvmx_update_tpr_threshold()739 __vmwrite(TPR_THRESHOLD, 0); in nvmx_update_tpr_threshold()
1242 __vmwrite(TPR_THRESHOLD, 0); in construct_vmcs()1890 vmr32(TPR_THRESHOLD), vmr16(POSTED_INTR_NOTIFICATION_VECTOR)); in vmcs_dump_vcpu()
431 TPR_THRESHOLD = 0x0000401c, enumerator
Completed in 22 milliseconds