Add support for ppc hw tb clock, remove kernelcompat.h

[ust.git] / include / ust / marker.h

diff --git a/include/ust/marker.h b/include/ust/marker.h
index 0e0b466b994546337c61e3d95e7714837e8c49ad..72ced98c4e3fb16eedaa17d294566d2622394742 100644 (file)
--- a/include/ust/marker.h
+++ b/include/ust/marker.h
@@ -26,9 +26,10 @@
 
 #include <stdarg.h>
 #include <ust/immediate.h>
-#include <ust/kernelcompat.h>
+#include <ust/core.h>
 #include <urcu/list.h>
 #include <ust/processor.h>
+#include <ust/kcompat/kcompat.h>
 
 #include <bits/wordsize.h>