Make PTE_DEVICE a synonym for PTE_NOCACHE on armv4, to make it easier to

share the same code on both architectures.
This commit is contained in:
Ian Lepore 2013-11-05 04:06:29 +00:00
parent ef0519c3a8
commit c2d47adbb7

View file

@ -67,6 +67,7 @@
#else
#define PTE_NOCACHE 1
#define PTE_CACHE 2
#define PTE_DEVICE PTE_NOCACHE
#define PTE_PAGETABLE 3
#endif