Searched refs:use_proc2_ctls (Results 1 – 1 of 1) sorted by relevance
834 uint32_t use_proc2_ctls = proc2_ctls; in vmx_vminit() local836 use_proc2_ctls |= PROCBASED2_WBINVD_EXITING; in vmx_vminit()837 vmcs_write(VMCS_SEC_PROC_BASED_CTLS, use_proc2_ctls); in vmx_vminit()