K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-05-10T20:03:03.737751Z
K 7
svn:log
V 294
When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE.
On armv4 these are defined as synonyms right now, but it's a bit ambiguous
what NOCACHE means (is buffering/write-combining also enabled or not?); this
is a first step towards replacing PTE_NOCACHE with a less ambiguous name.

END