Index: generic/include/mm/page.h
===================================================================
--- generic/include/mm/page.h	(revision d3dfa425724cd92c2f2469df0b8c92dc1ea66a61)
+++ generic/include/mm/page.h	(revision 631ca4d04a2284ebd54da4b84fc569fab1e212a4)
@@ -33,4 +33,5 @@
 #include <arch/types.h>
 #include <typedefs.h>
+#include <memstr.h>
 
 #define PAGE_CACHEABLE_SHIFT		0
@@ -60,4 +61,16 @@
 #define PAGE_GLOBAL		(1<<PAGE_GLOBAL_SHIFT)
 
+
+/* TODO - check that userspace is OK, platform specific functions etc */
+static inline void copy_to_uspace(void *dst, void *src, count_t cnt)
+{
+	memcpy(dst, src, cnt);
+} 
+
+static inline void copy_to_kernel(void *dst, void *src, count_t cnt)
+{
+	memcpy(dst, src, cnt);
+}
+
 /** Operations to manipulate page mappings. */
 struct page_mapping_operations {