X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_xed.h;h=ef1def2f496f604e43be29ad6c1e207e80f54540;hb=3716aafce2de9e12ed62bee37968bfc0e0eaed44;hp=95e68ec5bf0b10f2980708f9b934e2ee3753ce45;hpb=da0f0deecf22754656bad2a95640461ec3ac4f1d;p=palacios.git

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