Split telemetry into global and per-core to avoid race printing core telemetry

[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 4099d22..ef1def2 100644 (file)
--- 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__