just provide get_current_pid() to the userland side of things
instead of get_current() + manual poking in its results
Signed-off-by: NAl Viro <viro@zeniv.linux.org.uk>
Signed-off-by: NRichard Weinberger <richard@nod.at>