Rev 227 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 227 | Rev 236 | ||
---|---|---|---|
Line 65... | Line 65... | ||
65 | pte_t *src_ptl0, *dst_ptl0; |
65 | pte_t *src_ptl0, *dst_ptl0; |
66 | 66 | ||
67 | src_ptl0 = (pte_t *) PA2KA((__address) GET_PTL0_ADDRESS()); |
67 | src_ptl0 = (pte_t *) PA2KA((__address) GET_PTL0_ADDRESS()); |
68 | dst_ptl0 = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC); |
68 | dst_ptl0 = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC); |
69 | 69 | ||
- | 70 | // memsetb((__address) dst_ptl0, PAGE_SIZE, 0); |
|
70 | /* TODO: in theory, it should be only necessary to copy kernel address space... */ |
71 | // memcpy((void *) &dst_ptl0[KAS_START_INDEX], (void *) &src_ptl0[KAS_START_INDEX], KAS_INDICES); |
- | 72 | ||
71 | memcpy((void *)PA2KA((__address) dst_ptl0), (void *)GET_PTL0_ADDRESS() , PAGE_SIZE); |
73 | memcpy((void *) dst_ptl0, (void *) GET_PTL0_ADDRESS() , PAGE_SIZE); |
72 | 74 | ||
73 | m->ptl0 = (pte_t *) KA2PA((__address) dst_ptl0); |
75 | m->ptl0 = (pte_t *) KA2PA((__address) dst_ptl0); |
74 | } |
76 | } |
75 | } |
77 | } |
76 | 78 |