K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2017-07-10T15:27:53.887032Z
K 7
svn:log
V 150
Start to move the arm *_mp.h to be names *_machdep.h. These will be used
by the reworked pl310 driver interface in
https://reviews.freebsd.org/D11546

END