Rev 2787 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2787 | Rev 4377 | ||
---|---|---|---|
Line 75... | Line 75... | ||
75 | 75 | ||
76 | ASSERT(addr - area->base < area->backend_data.frames * FRAME_SIZE); |
76 | ASSERT(addr - area->base < area->backend_data.frames * FRAME_SIZE); |
77 | page_mapping_insert(AS, addr, base + (addr - area->base), |
77 | page_mapping_insert(AS, addr, base + (addr - area->base), |
78 | as_area_get_flags(area)); |
78 | as_area_get_flags(area)); |
79 | if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1)) |
79 | if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1)) |
80 | panic("Could not insert used space.\n"); |
80 | panic("Cannot insert used space."); |
81 | 81 | ||
82 | return AS_PF_OK; |
82 | return AS_PF_OK; |
83 | } |
83 | } |
84 | 84 | ||
85 | /** Share address space area backed by physical memory. |
85 | /** Share address space area backed by physical memory. |