VMCS_ENTRY_CTLS
if (vmwrite(VMCS_ENTRY_CTLS, entry)) {
if (vmread(VMCS_ENTRY_CTLS, &ectls)) {
if (vmwrite(VMCS_ENTRY_CTLS, ectls)) {
vmx_dump_vmcs_field(VMCS_ENTRY_CTLS, "Entry Ctrls");