1578,5 → 1578,39 |
return (unative_t) as_area_destroy(AS, address); |
} |
|
/** Print out information about address space. |
* |
* @param as Address space. |
*/ |
void as_print(as_t *as) |
{ |
ipl_t ipl; |
|
ipl = interrupts_disable(); |
mutex_lock(&as->lock); |
|
/* print out info about address space areas */ |
link_t *cur; |
for (cur = as->as_area_btree.leaf_head.next; cur != &as->as_area_btree.leaf_head; cur = cur->next) { |
as_area_t *area; |
btree_node_t *node; |
|
node = list_get_instance(cur, btree_node_t, leaf_link); |
|
int i; |
for (i = 0; i < node->keys; i++) { |
area = node->value[i]; |
|
mutex_lock(&area->lock); |
printf("as_area: %p, base=%p, pages=%d (%p - %p)\n", |
area, area->base, area->pages, area->base, area->base + area->pages*PAGE_SIZE); |
mutex_unlock(&area->lock); |
} |
} |
|
mutex_unlock(&as->lock); |
interrupts_restore(ipl); |
} |
|
/** @} |
*/ |