x86: fix sysexit in #806
diff --git a/arch/X86/X86ATTInstPrinter.c b/arch/X86/X86ATTInstPrinter.c
index 3eb20e9..fdd07fe 100644
--- a/arch/X86/X86ATTInstPrinter.c
+++ b/arch/X86/X86ATTInstPrinter.c
@@ -893,6 +893,15 @@
else
printInstruction(MI, OS, info);
+ // HACK TODO: fix this in machine description
+ switch(MI->flat_insn->id) {
+ default: break;
+ case X86_INS_SYSEXIT:
+ SStream_Init(OS);
+ SStream_concat0(OS, "sysexit");
+ break;
+ }
+
if (MI->has_imm) {
// if op_count > 1, then this operand's size is taken from the destination op
if (MI->flat_insn->detail->x86.op_count > 1) {