Fix issue 326: glibc non-deterministic because it reads /proc

1 files changed, 6 insertions, 0 deletions

diff --git a/src/kern/operatingsystem.hh b/src/kern/operatingsystem.hh
index 10daae3d7..712b97c35 100644
--- a/src/kern/operatingsystem.hh
+++ b/src/kern/operatingsystem.hh
@@ -40,6 +40,10 @@
 class OperatingSystem {};
 
 #else //!FULL_SYSTEM
+#include <string>
+
+class LiveProcess;
+class ThreadContext;
 
 /// This struct is used to build an target-OS-dependent table that
 /// maps the target's open() flags to the host open() flags.
@@ -117,6 +121,8 @@ class OperatingSystem {
         int64_t ru_nivcsw;              //!< involuntary "
     } rusage;
 
+    static int openSpecialFile(std::string path, LiveProcess *process, ThreadContext *tc);
+
 };  // class OperatingSystem