tree 5dd9bb0915ae07f57456b5ef3634863af679224e
parent ab74e2b562c355cfe4843b4f796cf0f809bf2a58
author Barret Rhoden <brho@cs.berkeley.edu> 1389637452 -0800
committer Barret Rhoden <brho@cs.berkeley.edu> 1389733774 -0800

Page map interface and munmap changes

The PM interface was slimmed a bit.  We still will need to change the
usages of pm_put_page for mmap a little.

munmap is a bit more efficient, and the VMRs are explicitly unmapped.
We'll need to do this instead of just blindly decreffing an entire
address space, since we need to handle PM pages differently.