2 Commits

Author	SHA1	Message	Date
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
Rui Paulo	9d3cc729fb	Move sys/arm/econa to sys/arm/cavium/cns11xx.	2014-04-07 05:33:30 +00:00