Searched refs:sec_exec_ctl (Results 1 – 1 of 1) sorted by relevance
213 uint32_t sec_exec_ctl = 0; in init_vmcs_control_fields() local231 sec_exec_ctl |= SECONDARY_EXEC_ENABLE_EPT; in init_vmcs_control_fields()234 if (!vmwrite(SECONDARY_VM_EXEC_CONTROL, sec_exec_ctl)) in init_vmcs_control_fields()239 GUEST_ASSERT(!sec_exec_ctl); in init_vmcs_control_fields()