Index: src/mm/vm.c
===================================================================
--- src/mm/vm.c	(revision ba18512d0ae6d186133c61a7c81ad78746ac76e5)
+++ src/mm/vm.c	(revision d2bb9f8a111b1aebb99a97f7a643311460462e4b)
@@ -67,5 +67,5 @@
 			src_ptl0 = (pte_t *) PA2KA((__address) GET_PTL0_ADDRESS());
 			dst_ptl0 = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC);
-			memcopy((void *)PA2KA((__address) dst_ptl0), (void *)GET_PTL0_ADDRESS() , PAGE_SIZE);
+			memcpy((void *)PA2KA((__address) dst_ptl0), (void *)GET_PTL0_ADDRESS() , PAGE_SIZE);
 			m->ptl0 = (pte_t *) KA2PA((__address) dst_ptl0);
 		}