On 09/24/2017 11:41 PM, Oliver Ebert wrote: > see linux 77bb499bb60f4b79cca7d139c8041662860fcf87 > and linux 83b4b0bb635eee2b8e075062e4e008d1bc110ed7 > --- > man5/proc.5 | 5 ++++- > 1 file changed, 4 insertions(+), 1 deletion(-) Thanks, Oliver. Applied. Cheers, Michael > diff --git a/man5/proc.5 b/man5/proc.5 > index f0b84d503..0b31dad2f 100644 > --- a/man5/proc.5 > +++ b/man5/proc.5 > @@ -1490,10 +1490,13 @@ If set, the page is in swap space > 61 (since Linux 3.5) > The page is a file-mapped page or a shared anonymous page. > .TP > -60\(en56 (since Linux 3.11) > +60\(en57 (since Linux 3.11) > Zero > .\" Not quite true; see commit 541c237c0923f567c9c4cabb8a81635baadc713f > .TP > +56 (since Linux 4.2) > +The page is exclusively mapped. > +.TP > 55 (since Linux 3.11) > PTE is soft-dirty > (see the kernel source file > -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
