Don't decref page map pages
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 12 Jul 2016 18:33:29 +0000 (14:33 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 19 Jul 2016 15:43:10 +0000 (11:43 -0400)
commitd7abf316488c4540764f6682632b053b308654fc
treeeb97bd621d2ea173cb716219852dc7d728c28f75
parent2a810ea8eb4c118ef416ee318c0531fd81fe924e
Don't decref page map pages

I triggered this due to another bug.  Basically, map_page_at_addr()'s two
error-cases assumed the page was not in the page map.  Those pages
shouldn't be decreffed; the page map manages their refcnt.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/mm.c