K 10
svn:author
V 4
skra
K 8
svn:date
V 27
2016-01-29T16:01:37.020913Z
K 7
svn:log
V 157
Use kernel_pmap directly instead of pmap_kernel(). The kernel_pmap is
already used for __ARM_ARCH >= 6 and so even for __ARM_ARCH < 6 on some
common places.

END