K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2013-11-05T04:06:29.226548Z
K 7
svn:log
V 116
Make PTE_DEVICE a synonym for PTE_NOCACHE on armv4, to make it easier to
share the same code on both architectures.

END