Searched refs:proc2_ctls (Results 1 – 1 of 1) sorted by relevance
700 uint32_t proc_ctls, proc2_ctls, pin_ctls; in vmx_vminit() local726 proc2_ctls = procbased_ctls2; in vmx_vminit()739 proc2_ctls |= (PROCBASED2_VIRTUALIZE_APIC_ACCESSES | in vmx_vminit()774 if ((proc2_ctls & PROCBASED2_ENABLE_INVPCID) != 0) { in vmx_vminit()834 uint32_t use_proc2_ctls = proc2_ctls; in vmx_vminit()894 vmx->cap[i].proc_ctls2 = proc2_ctls; in vmx_vminit()