diff --git a/src/include/cpu/x86/tsc.h b/src/include/cpu/x86/tsc.h
new file mode 100644
index 0000000..fdf6d74
--- /dev/null
+++ b/src/include/cpu/x86/tsc.h
@@ -0,0 +1,30 @@
+#ifndef CPU_X86_TSC_H
+#define CPU_X86_TSC_H
+
+struct tsc_struct {
+	unsigned lo;
+	unsigned hi;
+};
+typedef struct tsc_struct tsc_t;
+
+static tsc_t rdtsc(void)
+{
+	tsc_t res;
+	__asm__ __volatile__ (
+		"rdtsc"
+		: "=a" (res.lo), "=d"(res.hi) /* outputs */
+		);
+	return res;
+}
+
+#ifndef ROMCC
+static inline unsigned long long rdtscll(void)
+{
+	unsigned long long val;
+	asm volatile ("rdtsc" : "=A" (val));
+	return val;
+}
+#endif
+
+
+#endif /* CPU_X86_TSC_H */