/* like curproc, but this is the Linux name */