Changeset 623ba26c in mainline for src/mm/vm.c

Timestamp:

2005-09-01T14:42:09Z (20 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

e83a9f7

Parents:

db3341e

Message:

Add couple of assertions CPU != NULL.

Change type of nrdy from int to count_t.

Rewrite halt() to avoid page fault when CPU == NULL.

File:

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

src/mm/vm.c

@@ -67 +67 @@
                         src_ptl0 = (pte_t *) PA2KA((__address) GET_PTL0_ADDRESS());
                         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);
+
                         m->ptl0 = (pte_t *) KA2PA((__address) dst_ptl0);
                 }