Searched refs:TPR_THRESHOLD (Results 1 – 4 of 4) sorted by relevance
424 __vmwrite(TPR_THRESHOLD, tpr_threshold); in vmx_intr_assist()
760 __vmwrite(TPR_THRESHOLD, get_vvmcs(v, TPR_THRESHOLD)); in nvmx_update_tpr_threshold()762 __vmwrite(TPR_THRESHOLD, 0); in nvmx_update_tpr_threshold()
1304 __vmwrite(TPR_THRESHOLD, 0); in construct_vmcs()2081 vmr32(TPR_THRESHOLD), vmr16(POSTED_INTR_NOTIFICATION_VECTOR)); in vmcs_dump_vcpu()
448 TPR_THRESHOLD = 0x0000401c, enumerator
Completed in 14 milliseconds