diff --git a/common/lib/tsc.cpp b/common/lib/tsc.cpp
index b097652d2..587094462 100644
--- a/common/lib/tsc.cpp
+++ b/common/lib/tsc.cpp
@@ -5,8 +5,11 @@
  * SPDX-License-Identifier: Apache-2.0
  */
 
+#include <villas/kernel/kernel.hpp>
 #include <villas/tsc.hpp>
 
+using namespace villas;
+
 int tsc_init(struct Tsc *t) {
 #if defined(__x86_64__) || defined(__i386__)
   uint32_t eax = 0, ebx = 0, ecx = 0, edx = 0;