--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/model/dce-libc-private.h Mon Feb 20 17:01:59 2012 +0100
@@ -0,0 +1,19 @@
+#ifndef DCE_LIBC_PRIVATE_H
+#define DCE_LIBC_PRIVATE_H
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+struct cpu_features;
+
+extern const struct cpu_features *__get_cpu_features (void);
+
+const struct cpu_features *dce___get_cpu_features (void);
+
+#ifdef __cplusplus
+}
+#endif
+
+
+#endif /* DCE_LIBC_PRIVATE_H */
--- a/model/dce.cc Mon Feb 20 16:23:43 2012 +0100
+++ b/model/dce.cc Mon Feb 20 17:01:59 2012 +0100
@@ -3,6 +3,7 @@
#include "utils.h"
#include "exec-utils.h"
#include "dce-errno.h"
+#include "dce-libc-private.h"
#include "dce-signal.h"
#include "dce-netdb.h"
#include "dce-unistd.h"
--- a/model/libc-dce.cc Mon Feb 20 16:23:43 2012 +0100
+++ b/model/libc-dce.cc Mon Feb 20 17:01:59 2012 +0100
@@ -19,6 +19,7 @@
#include "dce-stdio.h"
#include "dce-stdarg.h"
#include "dce-errno.h"
+#include "dce-libc-private.h"
#include "dce-fcntl.h"
#include "dce-sched.h"
#include "dce-poll.h"