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