vmcs_instruction_error
db_printf("VM-instruction error: %#lx\n", vmcs_instruction_error());
vmexit->u.vmx.inst_error = vmcs_instruction_error();