On 22/11/2017 18:17, Jim Mattson wrote: > Does this change play well with the other functions that toggle > secondary control bits without updating vmx->secondary_exec_control? > e.g. vmx_disable_shadow_vmcs, set_current_vmptr, > vmx_set_virtual_x2apic_mode, vmcs_set_secondary_exec_control, and > possibly others? > > Perhaps the proposed call to vmcs_write32(SECONDARY_VM_EXEC_CONTROL, > vmx->secondary_exec_control) should instead be a call to > vmcs_set_secondary_exec_control(vmx->secondary_exec_control)? Yes, this is correct. Paolo