Implemented the new profiler
[akaros.git] / kern / include / linux_compat.h
index 8407e9c..74daf88 100644 (file)
@@ -2,11 +2,13 @@
  *
  * Dumping ground for converting between Akaros and Linux. */
 
-#ifndef ROS_KERN_LINUX_COMPAT_H
+#pragma once
+
 #define ROS_KERN_LINUX_COMPAT_H
 
 /* Common headers that most driver files will need */
 
+#include <ros/common.h>
 #include <assert.h>
 #include <error.h>
 #include <ip.h>
@@ -52,8 +54,6 @@
        _ret;                                                                      \
 })
 
-#define unlikely(x) (x)
-#define likely(x) (x)
 #define UINT_MAX UINT64_MAX
 #define L1_CACHE_SHIFT (LOG2_UP(ARCH_CL_SIZE))
 #define __stringify(x...) STRINGIFY(x)
@@ -767,5 +767,3 @@ static inline bool ether_addr_equal(const uint8_t *addr1, const uint8_t *addr2)
 }
 
 #include <linux/compat_todo.h>
-
-#endif /* ROS_KERN_LINUX_COMPAT_H */