diff options
Diffstat (limited to 'mm')
-rw-r--r-- | mm/memory.c | 6 | ||||
-rw-r--r-- | mm/mempool.c | 4 |
2 files changed, 4 insertions, 6 deletions
diff --git a/mm/memory.c b/mm/memory.c index 67686048f094..8d8f52569f32 100644 --- a/mm/memory.c +++ b/mm/memory.c | |||
@@ -2354,10 +2354,8 @@ int make_pages_present(unsigned long addr, unsigned long end) | |||
2354 | if (!vma) | 2354 | if (!vma) |
2355 | return -1; | 2355 | return -1; |
2356 | write = (vma->vm_flags & VM_WRITE) != 0; | 2356 | write = (vma->vm_flags & VM_WRITE) != 0; |
2357 | if (addr >= end) | 2357 | BUG_ON(addr >= end); |
2358 | BUG(); | 2358 | BUG_ON(end > vma->vm_end); |
2359 | if (end > vma->vm_end) | ||
2360 | BUG(); | ||
2361 | len = (end+PAGE_SIZE-1)/PAGE_SIZE-addr/PAGE_SIZE; | 2359 | len = (end+PAGE_SIZE-1)/PAGE_SIZE-addr/PAGE_SIZE; |
2362 | ret = get_user_pages(current, current->mm, addr, | 2360 | ret = get_user_pages(current, current->mm, addr, |
2363 | len, write, 0, NULL, NULL); | 2361 | len, write, 0, NULL, NULL); |
diff --git a/mm/mempool.c b/mm/mempool.c index 7bf064e6a345..fe6e05289cc5 100644 --- a/mm/mempool.c +++ b/mm/mempool.c | |||
@@ -183,8 +183,8 @@ EXPORT_SYMBOL(mempool_resize); | |||
183 | */ | 183 | */ |
184 | void mempool_destroy(mempool_t *pool) | 184 | void mempool_destroy(mempool_t *pool) |
185 | { | 185 | { |
186 | if (pool->curr_nr != pool->min_nr) | 186 | /* Check for outstanding elements */ |
187 | BUG(); /* There were outstanding elements */ | 187 | BUG_ON(pool->curr_nr != pool->min_nr); |
188 | free_pool(pool); | 188 | free_pool(pool); |
189 | } | 189 | } |
190 | EXPORT_SYMBOL(mempool_destroy); | 190 | EXPORT_SYMBOL(mempool_destroy); |