diff options
author | Oleg Nesterov <oleg@tv-sign.ru> | 2008-06-06 11:31:39 -0700 |
---|---|---|
committer | Linus Torvalds <torvalds@linux-foundation.org> | 2008-06-06 11:36:22 -0700 |
commit | aab2545fdd6641b76af0ae96456c4ca9d1e50dad (patch) | |
tree | 5fa741cea7b76283cbab237ff6909f5c6ff32752 /drivers/base | |
parent | 06a1578e2448112d6f635b1a458a65e36f0f97c6 (diff) |
uml: activate_mm: remove the dead PF_BORROWED_MM check
use_mm() was changed to use switch_mm() instead of activate_mm(), since
then nobody calls (and nobody should call) activate_mm() with
PF_BORROWED_MM bit set.
As Jeff Dike pointed out, we can also remove the "old != new" check, it is
always true.
Signed-off-by: Oleg Nesterov <oleg@tv-sign.ru>
Cc: Jeff Dike <jdike@addtoit.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'drivers/base')
0 files changed, 0 insertions, 0 deletions