VMCS_ENTRY_INST_LENGTH
return (VMCS_ENTRY_INST_LENGTH);
vmcs_write(VMCS_ENTRY_INST_LENGTH, vmexit->inst_length);