K 10
svn:author
V 8
jhibbits
K 8
svn:date
V 27
2017-12-08T03:49:53.383977Z
K 7
svn:log
V 264
Remove PTE VA mappings for tracked pages in 64-bit mode

This was done in 32-bit mode, but not duplicated when 64-bit mode was
brought in.  Without this, stale mappings can be left, leading to odd
crashes when the wrong VA is checked in XX_PhysToVirt() (dpaa(4)).

END