Rev 2131 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2131 | Rev 2242 | ||
---|---|---|---|
Line 96... | Line 96... | ||
96 | pte_t *ptl0_create(int flags) |
96 | pte_t *ptl0_create(int flags) |
97 | { |
97 | { |
98 | pte_t *src_ptl0, *dst_ptl0; |
98 | pte_t *src_ptl0, *dst_ptl0; |
99 | ipl_t ipl; |
99 | ipl_t ipl; |
100 | 100 | ||
101 | dst_ptl0 = (pte_t *) frame_alloc(ONE_FRAME, FRAME_KA); |
101 | dst_ptl0 = (pte_t *) frame_alloc(PTL0_SIZE, FRAME_KA); |
102 | 102 | ||
103 | if (flags & FLAG_AS_KERNEL) { |
103 | if (flags & FLAG_AS_KERNEL) { |
104 | memsetb((uintptr_t) dst_ptl0, PAGE_SIZE, 0); |
104 | memsetb((uintptr_t) dst_ptl0, PAGE_SIZE, 0); |
105 | } else { |
105 | } else { |
106 | uintptr_t src, dst; |
106 | uintptr_t src, dst; |