--- /dev/null
+#ifndef PERF_H
+#define PERF_H
+
+/* This header file defines all performance-related constants and macros. */
+
+/* Enable copy-on-write optimization for safecopy. */
+#define PERF_USE_COW_SAFECOPY 0
+
+/* Use a private page table for critical system processes. */
+#define PERF_SYS_CORE_FULLVM 0
+
+#endif /* PERF_H */
--- /dev/null
+#include <lib.h>
+#define vm_memctl _vm_memctl
+#include <unistd.h>
+
+PUBLIC int vm_memctl(endpoint_t ep, int req)
+{
+ message m;
+ m.VM_RS_CTL_ENDPT = ep;
+ m.VM_RS_CTL_REQ = req;
+
+ return _syscall(VM_PROC_NR, VM_RS_MEMCTL, &m);
+}