[rfc] Options for "info mappings" etc. (Re: [PATCH] Implement new `info core mappings' command)

[Pedro Alves]

On 01/06/2012 06:41 AM, Joel Brobecker wrote:
>>> AFAIK, there's no such thing as a 42000 PID; PIDs on Linux are limited
>>> to 16-bit.
>>
>> See my reply to Mark; this is no longer true in general these days.
>
> It wasn't true even before.  Other old systems such as mips-irix also
> had 64bit PIDs, for instance, or Tru64.

AFAIK, neither Irix nor Tru64 use the Linux kernel :-)  If we step out
of Linux, then my assertion above would be false even for Windows.