Searched refs:procbased_ctls2 (Results 1 – 1 of 1) sorted by relevance
139 static uint32_t pinbased_ctls, procbased_ctls, procbased_ctls2; variable542 if ((procbased_ctls2 & PROCBASED2_ENABLE_VPID) == 0) in vpid_alloc()723 PROCBASED_CTLS2_ZERO_SETTING, &procbased_ctls2); in vmx_modinit()734 procbased_ctls2 |= PROCBASED2_ENABLE_VPID; in vmx_modinit()828 procbased_ctls2 |= PROCBASED2_ENABLE_RDTSCP; in vmx_modinit()885 procbased_ctls2 |= procbased2_vid_bits; in vmx_modinit()886 procbased_ctls2 &= ~PROCBASED2_VIRTUALIZE_X2APIC_MODE; in vmx_modinit()1175 procbased_ctls2 |= PROCBASED2_WBINVD_EXITING; in vmx_vcpu_init()1177 error += vmwrite(VMCS_SEC_PROC_BASED_CTLS, procbased_ctls2); in vmx_vcpu_init()1224 vcpu->cap.proc_ctls2 = procbased_ctls2; in vmx_vcpu_init()