Wouldn't it be a lot easier if the id was simply current->mm?
Thus when CLONE_MM is used they get the same number. Guarenteed
never to be reused while in use.
HTH,
Martijn van Oosterhout
Australia
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/