Changeset 399ccd9 in mainline for src/mm/vm.c

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.

File:

• src/mm/vm.c (modified) (1 diff)

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);