tree 41dbf3656a6408192848c52e871475158099e478
parent dd0d1d1f77a9889e9d87c32db63e090c05721115
author Barret Rhoden <brho@cs.berkeley.edu> 1389660753 -0800
committer Barret Rhoden <brho@cs.berkeley.edu> 1389734195 -0800

VMRs that map page_maps are tracked

Needed so we can remove pages or otherwise see which processes are using
which parts of a PM.