X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fdevices%2Fbochs_debug.h;h=d441202743c331155f02f089a4b7f5a471870733;hb=3cd1d3771e3f8e30b09f6c4995851979aaafc5ff;hp=6a441083b97fb23e4e950ea5fd1e7ed073ae9fa4;hpb=1c46db5ec8d086d76f7120a638199564947694d3;p=palacios-OLD.git

diff --git a/palacios/include/devices/bochs_debug.h b/palacios/include/devices/bochs_debug.h
index 6a44108..d441202 100644
--- a/palacios/include/devices/bochs_debug.h
+++ b/palacios/include/devices/bochs_debug.h
@@ -24,7 +24,7 @@
 
 #include <palacios/vm_dev.h>
 
-struct vm_device * create_bochs_debug();
+struct vm_device * v3_create_bochs_debug();
 
 
 #endif // ! __V3VEE__