23 lines
473 B
Diff
23 lines
473 B
Diff
|
--- src/devices/devfreq.h.orig
|
||
|
+++ src/devices/devfreq.h
|
||
|
@@ -25,6 +25,7 @@
|
||
|
#ifndef _INCLUDE_GUARD_DEVFREQ_H
|
||
|
#define _INCLUDE_GUARD_DEVFREQ_H
|
||
|
|
||
|
+#include <sys/time.h>
|
||
|
#include "device.h"
|
||
|
#include "../parameters/parameters.h"
|
||
|
|
||
|
diff --git a/src/perf/perf.h b/src/perf/perf.h
|
||
|
index ee072ae06d24..932588a684f9 100644
|
||
|
--- src/perf/perf.h.orig
|
||
|
+++ src/perf/perf.h
|
||
|
@@ -26,6 +26,7 @@
|
||
|
#define _INCLUDE_GUARD_PERF_H_
|
||
|
|
||
|
#include <iostream>
|
||
|
+#include <stdio.h>
|
||
|
|
||
|
|
||
|
extern "C" {
|