X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Farch-x86_64%2Ftime.h;fp=kitten%2Finclude%2Farch-x86_64%2Ftime.h;h=d0afd585478e486d6dcf21eeb83160bcba1769c8;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=0000000000000000000000000000000000000000;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios.git

diff --git a/kitten/include/arch-x86_64/time.h b/kitten/include/arch-x86_64/time.h
new file mode 100644
index 0000000..d0afd58
--- /dev/null
+++ b/kitten/include/arch-x86_64/time.h
@@ -0,0 +1,6 @@
+#ifndef _ARCH_x86_64_TIME_H
+#define _ARCH_x86_64_TIME_H
+
+#include <arch/tsc.h>
+
+#endif