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'. |