diff options
Diffstat (limited to 'src/kernel/pagemgr.C')
| -rw-r--r-- | src/kernel/pagemgr.C | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/kernel/pagemgr.C b/src/kernel/pagemgr.C index 83e99b9b3..9f2b87b08 100644 --- a/src/kernel/pagemgr.C +++ b/src/kernel/pagemgr.C @@ -111,7 +111,7 @@ void* PageManager::_allocatePage(size_t n) int retries = 0; page_t* page = (page_t*)NULL; - while ((page == NULL) && (retries < 3)) + while ((page == NULL) && (retries < 6)) { page = pop_bucket(which_bucket); retries++; @@ -121,7 +121,8 @@ void* PageManager::_allocatePage(size_t n) { // TODO: Add abort instead. task_t* t = TaskManager::getCurrentTask(); - printk("Insufficient memory for alloc of size %zd on tid=%d!\n", n, t->tid); + printk("Insufficient memory for alloc of size %zd page on tid=%d!\n", n, t->tid); + printk("Pages available=%ld\n",iv_pagesAvail); while(1); } |
