| 161,12 → 161,11 |
|---|
| |
| ASSERT(!list_empty(&as->as_area_btree.leaf_head)); |
| node = list_get_instance(&as->as_area_btree.leaf_head.next, btree_node_t, leaf_link); |
| if ((cond = node->keys)) { |
| if ((cond = node->keys)) |
| as_area_destroy(as, node->key[0]); |
| btree_remove(&as->as_area_btree, node->key[0], node); |
| } |
| } |
| |
| btree_destroy(&as->as_area_btree); |
| page_table_destroy(as->page_table); |
| |
| interrupts_restore(ipl); |
| 460,8 → 459,6 |
|---|
| page_mapping_remove(as, b + i*PAGE_SIZE); |
| page_table_unlock(as, false); |
| } |
| if (!used_space_remove(area, b, i)) |
| panic("Could not remove used space.\n"); |
| } |
| } |
| |
| 1489,7 → 1486,6 |
|---|
| node = list_get_instance(sh_info->pagemap.leaf_head.next, btree_node_t, leaf_link); |
| if ((cond = node->keys)) { |
| frame_free(ADDR2PFN((__address) node->value[0])); |
| btree_remove(&sh_info->pagemap, node->key[0], node); |
| } |
| } |
| |