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
..
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	Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with	2014-01-28 09:12:04 +00:00
std.ts7800	Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with	2014-01-28 09:12:04 +00:00