Changeset 399ccd9 in mainline

Timestamp:

2005-09-01T16:52:26Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

38207b9

Parents:

5dce48b9

Message:

Add missing header into kinit.c.

Do not use PA2KA() on dst_ptl0.

Location:

src

Files:

• main/kinit.c (modified) (1 diff)
• mm/vm.c (modified) (1 diff)

src/main/kinit.c

@@ -42 +42 @@
 #include <mm/vm.h>
 #include <print.h>
+#include <memstr.h>
 
 #ifdef __SMP__

src/mm/vm.c

@@ -68 +68 @@
                         dst_ptl0 = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC);
 
-                        /* TODO: in theory, it should be only necessary to copy kernel address space... */
-                        memcpy((void *)PA2KA((__address) dst_ptl0), (void *)GET_PTL0_ADDRESS() , PAGE_SIZE);
+//                      memsetb((__address) dst_ptl0, PAGE_SIZE, 0);
+//                      memcpy((void *) &dst_ptl0[KAS_START_INDEX], (void *) &src_ptl0[KAS_START_INDEX], KAS_INDICES);
+                        
+                        memcpy((void *) dst_ptl0, (void *) GET_PTL0_ADDRESS() , PAGE_SIZE);
 
                         m->ptl0 = (pte_t *) KA2PA((__address) dst_ptl0);