Expose vmalloc-like os interface to Palacios, and updates to use it

[palacios.git] / palacios / include / palacios / vmm_xed.h

diff --git a/palacios/include/palacios/vmm_xed.h b/palacios/include/palacios/vmm_xed.h
index 95e68ec..ef1def2 100644 (file)
--- 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__