X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=nautilus%2Fpalacios-stubs.c;h=6eae346548b2e279c98d2b3cf2e11f0452780c8b;hp=45d8e7ba9025cefffccdbd05f1052bc85fa96453;hb=32dfeb120c3b57c33f624e39a2c368ad78b7526d;hpb=15b65ca6d546fbd03cdd7ae72830555e0263e538

diff --git a/nautilus/palacios-stubs.c b/nautilus/palacios-stubs.c
index 45d8e7b..6eae346 100644
--- a/nautilus/palacios-stubs.c
+++ b/nautilus/palacios-stubs.c
@@ -4,7 +4,7 @@
 #include <nautilus/cpu.h>
 #include <nautilus/mm.h>
 #include <nautilus/vc.h>
-#include <dev/timer.h>
+#include <nautilus/timer.h>
 #include <dev/apic.h>
 
 #include <palacios/vmm.h>