Searched refs:procbased_ctls2 (Results 1 – 1 of 1) sorted by relevance
137 static uint32_t pinbased_ctls, procbased_ctls, procbased_ctls2; variable536 if ((procbased_ctls2 & PROCBASED2_ENABLE_VPID) == 0) { in vpid_alloc()716 PROCBASED_CTLS2_ZERO_SETTING, &procbased_ctls2); in vmx_modinit()727 procbased_ctls2 |= PROCBASED2_ENABLE_VPID; in vmx_modinit()815 procbased_ctls2 |= PROCBASED2_ENABLE_RDTSCP; in vmx_modinit()862 procbased_ctls2 |= procbased2_vid_bits; in vmx_modinit()863 procbased_ctls2 &= ~PROCBASED2_VIRTUALIZE_X2APIC_MODE; in vmx_modinit()1120 error += vmwrite(VMCS_SEC_PROC_BASED_CTLS, procbased_ctls2); in vmx_init()1169 vmx->cap[i].proc_ctls2 = procbased_ctls2; in vmx_init()