1 files changed, 10 insertions, 0 deletions
diff --git a/rts/sm/OSMem.h b/rts/sm/OSMem.h
new file mode 100644
index 0000000000..417f106948
--- /dev/null
+++ b/rts/sm/OSMem.h
@@ -0,0 +1,10 @@
+/* -----------------------------------------------------------------------------
+ *
+ * (c) The University of Glasgow 2006
+ *
+ * OS-specific memory management
+ *
+ * ---------------------------------------------------------------------------*/
+
+lnat getPageSize (void);
+void setExecutable (void *p, lnat len, rtsBool exec);