K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-07-31T14:47:26.709252Z
K 7
svn:log
V 114
Use arm/arm/devmap.c to get pmap_{un,}mapdev. As we don't yet need the
rest of the code, for now, comment it out.

END