From c2d47adbb7549472b7bce0776d2bc9975d2b7d50 Mon Sep 17 00:00:00 2001 From: Ian Lepore Date: Tue, 5 Nov 2013 04:06:29 +0000 Subject: [PATCH] Make PTE_DEVICE a synonym for PTE_NOCACHE on armv4, to make it easier to share the same code on both architectures. --- sys/arm/include/pmap.h | 1 + 1 file changed, 1 insertion(+) diff --git a/sys/arm/include/pmap.h b/sys/arm/include/pmap.h index 7448929a512..d796c461b45 100644 --- a/sys/arm/include/pmap.h +++ b/sys/arm/include/pmap.h @@ -67,6 +67,7 @@ #else #define PTE_NOCACHE 1 #define PTE_CACHE 2 +#define PTE_DEVICE PTE_NOCACHE #define PTE_PAGETABLE 3 #endif