Rev 3403 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3403 | Rev 4339 | ||
---|---|---|---|
Line 127... | Line 127... | ||
127 | if (frame || found) { |
127 | if (frame || found) { |
128 | frame_reference_add(ADDR2PFN(frame)); |
128 | frame_reference_add(ADDR2PFN(frame)); |
129 | page_mapping_insert(AS, addr, frame, |
129 | page_mapping_insert(AS, addr, frame, |
130 | as_area_get_flags(area)); |
130 | as_area_get_flags(area)); |
131 | if (!used_space_insert(area, page, 1)) |
131 | if (!used_space_insert(area, page, 1)) |
132 | panic("Could not insert used space.\n"); |
132 | panic("Cannot insert used space."); |
133 | mutex_unlock(&area->sh_info->lock); |
133 | mutex_unlock(&area->sh_info->lock); |
134 | return AS_PF_OK; |
134 | return AS_PF_OK; |
135 | } |
135 | } |
136 | } |
136 | } |
137 | 137 | ||
Line 212... | Line 212... | ||
212 | if (area->sh_info) |
212 | if (area->sh_info) |
213 | mutex_unlock(&area->sh_info->lock); |
213 | mutex_unlock(&area->sh_info->lock); |
214 | 214 | ||
215 | page_mapping_insert(AS, addr, frame, as_area_get_flags(area)); |
215 | page_mapping_insert(AS, addr, frame, as_area_get_flags(area)); |
216 | if (!used_space_insert(area, page, 1)) |
216 | if (!used_space_insert(area, page, 1)) |
217 | panic("Could not insert used space.\n"); |
217 | panic("Cannot insert used space."); |
218 | 218 | ||
219 | return AS_PF_OK; |
219 | return AS_PF_OK; |
220 | } |
220 | } |
221 | 221 | ||
222 | /** Free a frame that is backed by the ELF backend. |
222 | /** Free a frame that is backed by the ELF backend. |