Rev 2787 | Rev 3425 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2787 | Rev 3424 | ||
---|---|---|---|
Line 111... | Line 111... | ||
111 | break; |
111 | break; |
112 | } |
112 | } |
113 | } |
113 | } |
114 | if (allocate) { |
114 | if (allocate) { |
115 | frame = (uintptr_t) frame_alloc(ONE_FRAME, 0); |
115 | frame = (uintptr_t) frame_alloc(ONE_FRAME, 0); |
116 | memsetb(PA2KA(frame), FRAME_SIZE, 0); |
116 | memsetb((void *) PA2KA(frame), FRAME_SIZE, 0); |
117 | dirty = true; |
117 | dirty = true; |
118 | 118 | ||
119 | /* |
119 | /* |
120 | * Insert the address of the newly allocated |
120 | * Insert the address of the newly allocated |
121 | * frame to the pagemap. |
121 | * frame to the pagemap. |
Line 142... | Line 142... | ||
142 | * reuse; when this becomes a possibility, |
142 | * reuse; when this becomes a possibility, |
143 | * do not forget to distinguish between |
143 | * do not forget to distinguish between |
144 | * the different causes |
144 | * the different causes |
145 | */ |
145 | */ |
146 | frame = (uintptr_t) frame_alloc(ONE_FRAME, 0); |
146 | frame = (uintptr_t) frame_alloc(ONE_FRAME, 0); |
147 | memsetb(PA2KA(frame), FRAME_SIZE, 0); |
147 | memsetb((void *) PA2KA(frame), FRAME_SIZE, 0); |
148 | dirty = true; |
148 | dirty = true; |
149 | } |
149 | } |
150 | 150 | ||
151 | /* |
151 | /* |
152 | * Map 'page' to 'frame'. |
152 | * Map 'page' to 'frame'. |