diff --git a/src/include/cpu/x86/tsc.h b/src/include/cpu/x86/tsc.h
index 5cf4644..e4ca0e7 100644
--- a/src/include/cpu/x86/tsc.h
+++ b/src/include/cpu/x86/tsc.h
@@ -56,7 +56,7 @@
 
 static inline uint64_t tsc_to_uint64(tsc_t tstamp)
 {
-       return (((uint64_t)tstamp.hi) << 32) + tstamp.lo;
+	return (((uint64_t)tstamp.hi) << 32) + tstamp.lo;
 }
 #endif