K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2013-12-13T18:26:22.859308Z
K 7
svn:log
V 254
MFC r257197:

  Maximize available kva space by doing static device mapping from the top
  of the address space downwards, and then returning the lowest mapped
  device address from initarm_lastaddr().  Premap most of the device's
  on-chip peripherals.

END