Rev 2126 | Rev 2141 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2126 | Rev 2133 | ||
|---|---|---|---|
| Line 409... | Line 409... | ||
| 409 | count_t c = |
409 | count_t c = |
| 410 | (count_t) node->value[node->keys - 1]; |
410 | (count_t) node->value[node->keys - 1]; |
| 411 | int i = 0; |
411 | int i = 0; |
| 412 | 412 | ||
| 413 | if (overlaps(b, c * PAGE_SIZE, area->base, |
413 | if (overlaps(b, c * PAGE_SIZE, area->base, |
| 414 | pages*PAGE_SIZE)) { |
414 | pages * PAGE_SIZE)) { |
| 415 | 415 | ||
| 416 | if (b + c * PAGE_SIZE <= start_free) { |
416 | if (b + c * PAGE_SIZE <= start_free) { |
| 417 | /* |
417 | /* |
| 418 | * The whole interval fits |
418 | * The whole interval fits |
| 419 | * completely in the resized |
419 | * completely in the resized |
| Line 551... | Line 551... | ||
| 551 | ASSERT(pte && PTE_VALID(pte) && |
551 | ASSERT(pte && PTE_VALID(pte) && |
| 552 | PTE_PRESENT(pte)); |
552 | PTE_PRESENT(pte)); |
| 553 | if (area->backend && |
553 | if (area->backend && |
| 554 | area->backend->frame_free) { |
554 | area->backend->frame_free) { |
| 555 | area->backend->frame_free(area, b + |
555 | area->backend->frame_free(area, b + |
| 556 | j * PAGE_SIZE, PTE_GET_FRAME(pte)); |
556 | j * PAGE_SIZE, PTE_GET_FRAME(pte)); |
| 557 | } |
557 | } |
| 558 | page_mapping_remove(as, b + j * PAGE_SIZE); |
558 | page_mapping_remove(as, b + j * PAGE_SIZE); |
| 559 | page_table_unlock(as, false); |
559 | page_table_unlock(as, false); |
| 560 | } |
560 | } |
| 561 | } |
561 | } |