X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_xed.h;h=ef1def2f496f604e43be29ad6c1e207e80f54540;hb=e47ed16a96f6d7faa282bf757e9d2cc065d2657e;hp=4099d221e703c354b7a4685253856ee656346060;hpb=e70e95962c26832628d586e07f9cd1a2e1852d72;p=palacios.git

diff --git a/palacios/include/palacios/vmm_xed.h b/palacios/include/palacios/vmm_xed.h
index 4099d22..ef1def2 100644
--- a/palacios/include/palacios/vmm_xed.h
+++ b/palacios/include/palacios/vmm_xed.h
@@ -22,7 +22,7 @@
 
 #ifdef __V3VEE__
 
-
+int v3_disasm(struct guest_info * info, void *instr_ptr, addr_t * rip, int mark);
 
 #endif // ! __V3VEE__