Rev 1918 | Rev 2015 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1918 | Rev 1982 | ||
---|---|---|---|
Line 133... | Line 133... | ||
133 | /* |
133 | /* |
134 | * Use virtual addresses that are beyond the limit of physical memory. |
134 | * Use virtual addresses that are beyond the limit of physical memory. |
135 | * Thus, the physical address space will not be wasted by holes created |
135 | * Thus, the physical address space will not be wasted by holes created |
136 | * by frame_alloc(). |
136 | * by frame_alloc(). |
137 | */ |
137 | */ |
138 | ASSERT(last_frame); |
138 | ASSERT(PA2KA(last_frame)); |
139 | uintptr_t virtaddr = ALIGN_UP(last_frame, 1<<(order + FRAME_WIDTH)); |
139 | uintptr_t virtaddr = ALIGN_UP(PA2KA(last_frame), 1 << (order + FRAME_WIDTH)); |
140 | last_frame = ALIGN_UP(virtaddr + size, 1<<(order + FRAME_WIDTH)); |
140 | last_frame = ALIGN_UP(KA2PA(virtaddr) + size, 1 << (order + FRAME_WIDTH)); |
141 | 141 | ||
142 | for (i = 0; i < sizemap[order].count; i++) { |
142 | for (i = 0; i < sizemap[order].count; i++) { |
143 | /* |
143 | /* |
144 | * First, insert the mapping into DTLB. |
144 | * First, insert the mapping into DTLB. |
145 | */ |
145 | */ |