Searched refs:sec_exec_ctl (Results 1 – 1 of 1) sorted by relevance
205 uint32_t sec_exec_ctl = 0; in init_vmcs_control_fields() local223 sec_exec_ctl |= SECONDARY_EXEC_ENABLE_EPT; in init_vmcs_control_fields()226 if (!vmwrite(SECONDARY_VM_EXEC_CONTROL, sec_exec_ctl)) in init_vmcs_control_fields()231 GUEST_ASSERT(!sec_exec_ctl); in init_vmcs_control_fields()