struct rb_node * node = v3_rb_first(&(vm->mem_map.mem_regions));
struct v3_mem_region * reg;
struct rb_node * tmp_node = NULL;
+ addr_t mem_pages = vm->mem_size >> 12;
while (node) {
reg = rb_entry(node, struct v3_mem_region, tree_node);
v3_delete_mem_region(vm, reg);
}
- V3_FreePage((void *)(vm->mem_map.base_region.host_addr));
+ V3_FreePages((void *)(vm->mem_map.base_region.host_addr), mem_pages);
}
addr_t pg_end = 0;
uint32_t page_size = PAGE_SIZE_4KB;
struct v3_mem_region * reg = NULL;
-
-
- PrintError("Getting max page size for addr %p\n", (void *)page_addr);
switch (mode) {
case PROTECTED:
return -1;
}
-
- PrintError("Returning PAGE size = %d\n", page_size);
return page_size;
}