X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fdevices%2Ftimer.h;h=e38c30735af625a62c47a2a5d369bd6f4a812e00;hb=2e8b584de26a975655d20d5e94a047a4b286b339;hp=56b7b3badb64c932b499ab1fe0d6013eec8c28b5;hpb=101b1bdfedbf377765d7c74641e9bcf356ebed18;p=palacios.git

diff --git a/palacios/include/devices/timer.h b/palacios/include/devices/timer.h
index 56b7b3b..e38c307 100644
--- a/palacios/include/devices/timer.h
+++ b/palacios/include/devices/timer.h
@@ -25,7 +25,7 @@
 
 #include <palacios/vm_dev.h>
 
-struct vm_device * create_timer();
+struct vm_device * v3_create_timer();