X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_decoder.c;h=1d9e178970bc32f35716b173d4b7caf29ae4b8ea;hb=b3e5aa263c35961c74e0b7ed96b8510e8c6d7d0d;hp=4b88e67617e29781f59c5a896c995e7eae832984;hpb=266af4b5b19da7bee8e7445288c7c1cb3ee194c7;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmm_decoder.c b/palacios/src/palacios/vmm_decoder.c
index 4b88e67..1d9e178 100644
--- a/palacios/src/palacios/vmm_decoder.c
+++ b/palacios/src/palacios/vmm_decoder.c
@@ -21,13 +21,7 @@
 #include <palacios/vmm_decoder.h>
 
 
-int v3_opcode_cmp(const uchar_t * op1, const uchar_t * op2) {
-    if (op1[0] != op2[0]) {
-	return op1[0] - op2[0];;
-    } else {
-	return memcmp(op1 + 1, op2 + 1, op1[0]);
-    }
-}
+
 
 
 void v3_get_prefixes(uchar_t * instr, struct x86_prefixes * prefixes) {