Searched refs:sec_exec_ctl (Results 1 – 1 of 1) sorted by relevance
193 uint32_t sec_exec_ctl = 0; in init_vmcs_control_fields() local211 sec_exec_ctl |= SECONDARY_EXEC_ENABLE_EPT; in init_vmcs_control_fields()214 if (!vmwrite(SECONDARY_VM_EXEC_CONTROL, sec_exec_ctl)) in init_vmcs_control_fields()219 GUEST_ASSERT(!sec_exec_ctl); in init_vmcs_control_fields()