Ian Lepore b8821f8415 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.		2014-05-10 20:03:03 +00:00
..
cns11xx