Searched refs:VMCS_TPR_THRESHOLD (Results 1 – 2 of 2) sorted by relevance
90 wvmcs(cpu->accel->fd, VMCS_TPR_THRESHOLD, 0); in vmx_update_tpr()92 wvmcs(cpu->accel->fd, VMCS_TPR_THRESHOLD, (irr > tpr) ? tpr >> 4 : in vmx_update_tpr()313 wvmcs(cpu->accel->fd, VMCS_TPR_THRESHOLD, 0); in hvf_arch_init_vcpu()
120 #define VMCS_TPR_THRESHOLD 0x0000401C macro