diff options
Diffstat (limited to 'src/kernel/pagemgr.C')
| -rw-r--r-- | src/kernel/pagemgr.C | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/kernel/pagemgr.C b/src/kernel/pagemgr.C index 728222a05..400ad118b 100644 --- a/src/kernel/pagemgr.C +++ b/src/kernel/pagemgr.C @@ -93,8 +93,11 @@ PageManager::page_t* PageManager::pop_bucket(size_t n) // Couldn't allocate from the correct size bucket, so split up an // item from the next sized bucket. p = pop_bucket(n+1); - push_bucket((page_t*) (((uint64_t)p) + (PAGESIZE * (1 << n))), - n); + if (NULL != p) + { + push_bucket((page_t*) (((uint64_t)p) + (PAGESIZE * (1 << n))), + n); + } } return p; } |
