Rev 198 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 198 | Rev 205 | ||
---|---|---|---|
Line 64... | Line 64... | ||
64 | if (!m->ptl0) { |
64 | if (!m->ptl0) { |
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 | memcopy((void *)PA2KA((__address) dst_ptl0), (void *)GET_PTL0_ADDRESS() , PAGE_SIZE); |
69 | memcpy((void *)PA2KA((__address) dst_ptl0), (void *)GET_PTL0_ADDRESS() , PAGE_SIZE); |
70 | m->ptl0 = (pte_t *) KA2PA((__address) dst_ptl0); |
70 | m->ptl0 = (pte_t *) KA2PA((__address) dst_ptl0); |
71 | } |
71 | } |
72 | } |
72 | } |
73 | 73 | ||
74 | return m; |
74 | return m; |