X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_time.h;h=5e9a1f387490a6fee409c5d7c29976547efee13a;hp=11e4eb9486f2c0e7419ffb5b831ef1c9b2996c38;hb=7cdedeb7a01b51c5242cce94924f2ea246008e7d;hpb=3cd1d3771e3f8e30b09f6c4995851979aaafc5ff

diff --git a/palacios/include/palacios/vmm_time.h b/palacios/include/palacios/vmm_time.h
index 11e4eb9..5e9a1f3 100644
--- a/palacios/include/palacios/vmm_time.h
+++ b/palacios/include/palacios/vmm_time.h
@@ -68,11 +68,9 @@ int v3_remove_timer(struct guest_info * info, struct vm_timer * timer);
 
 void v3_update_time(struct guest_info * info, ullong_t cycles);
 
-#endif // !__V3VEE__
-
 
 void v3_init_time(struct guest_info * info);
 
-
+#endif // !__V3VEE__
 
 #endif