Searched refs:procbased_ctls2 (Results 1 – 1 of 1) sorted by relevance
136 static uint32_t pinbased_ctls, procbased_ctls, procbased_ctls2; variable539 if ((procbased_ctls2 & PROCBASED2_ENABLE_VPID) == 0) in vpid_alloc()712 PROCBASED_CTLS2_ZERO_SETTING, &procbased_ctls2); in vmx_modinit()723 procbased_ctls2 |= PROCBASED2_ENABLE_VPID; in vmx_modinit()817 procbased_ctls2 |= PROCBASED2_ENABLE_RDTSCP; in vmx_modinit()874 procbased_ctls2 |= procbased2_vid_bits; in vmx_modinit()875 procbased_ctls2 &= ~PROCBASED2_VIRTUALIZE_X2APIC_MODE; in vmx_modinit()1164 procbased_ctls2 |= PROCBASED2_WBINVD_EXITING; in vmx_vcpu_init()1166 error += vmwrite(VMCS_SEC_PROC_BASED_CTLS, procbased_ctls2); in vmx_vcpu_init()1213 vcpu->cap.proc_ctls2 = procbased_ctls2; in vmx_vcpu_init()