Searched refs:VMCS_TPR_THRESHOLD (Results 1 – 3 of 3) sorted by relevance
195 #define VMCS_TPR_THRESHOLD 0x0000401C macro
3081 vmcs_write(VMCS_TPR_THRESHOLD, vlapic_get_cr8(vlapic)); in vmx_run()
1124 error = vm_get_vmcs_field(ctx, vcpu, VMCS_TPR_THRESHOLD, in get_misc_vmcs()