Required for sched_clock()

Signed-off-by: Ulrich Hecht <ulrich.hecht+rene...@gmail.com>
---
 services/server/env/linux/osfunc.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/services/server/env/linux/osfunc.c 
b/services/server/env/linux/osfunc.c
index 39d4f89..c222095 100644
--- a/services/server/env/linux/osfunc.c
+++ b/services/server/env/linux/osfunc.c
@@ -53,6 +53,7 @@ CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 
THE SOFTWARE.
 #include <linux/genalloc.h>
 #include <linux/string.h>
 #include <linux/sched.h>
+#include <linux/sched/clock.h>
 #include <asm/hardirq.h>
 #include <asm/tlbflush.h>
 #include <linux/timer.h>
-- 
2.7.4

Reply via email to