ian 56f425f93e 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
..
db88f5xxx.c	When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE.	2014-05-10 20:03:03 +00:00
files.db88f5xxx
files.ts7800
orion.c
std.db88f5xxx
std.ts7800