Rev 2089 | Rev 2125 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2089 | Rev 2106 | ||
|---|---|---|---|
| Line 83... | Line 83... | ||
| 83 | * Copy the kernel address space portion to new PTL0. |
83 | * Copy the kernel address space portion to new PTL0. |
| 84 | */ |
84 | */ |
| 85 | 85 | ||
| 86 | ipl = interrupts_disable(); |
86 | ipl = interrupts_disable(); |
| 87 | mutex_lock(&AS_KERNEL->lock); |
87 | mutex_lock(&AS_KERNEL->lock); |
| 88 | src_ptl0 = (pte_t *) PA2KA((uintptr_t) AS_KERNEL->page_table); |
88 | src_ptl0 = (pte_t *) PA2KA((uintptr_t) AS_KERNEL->genarch.page_table); |
| 89 | 89 | ||
| 90 | src = (uintptr_t) &src_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)]; |
90 | src = (uintptr_t) &src_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)]; |
| 91 | dst = (uintptr_t) &dst_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)]; |
91 | dst = (uintptr_t) &dst_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)]; |
| 92 | 92 | ||
| 93 | memsetb((uintptr_t) dst_ptl0, PAGE_SIZE, 0); |
93 | memsetb((uintptr_t) dst_ptl0, PAGE_SIZE, 0); |