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