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
..
2014-03-08 06:06:50 +00:00
2014-02-09 20:55:49 +00:00
2014-02-09 20:56:39 +00:00
2014-02-09 20:58:03 +00:00
2014-02-28 03:00:25 +00:00
2014-02-28 03:00:28 +00:00
2014-02-09 21:01:53 +00:00
2014-03-08 06:06:50 +00:00
2014-03-08 05:03:56 +00:00
2014-02-13 15:47:41 +00:00
2014-02-09 21:02:46 +00:00