release_mm        538 drivers/oprofile/buffer_sync.c 				release_mm(oldmm);
release_mm        562 drivers/oprofile/buffer_sync.c 	release_mm(mm);