From 184fe46a7935e1d7e83a68d4e961b20b993888e1 Mon Sep 17 00:00:00 2001 From: Kees Jongenburger Date: Tue, 27 Aug 2013 14:32:23 +0200 Subject: [PATCH] arm:use correct address mask for sections. --- servers/vm/arch/i386/pagetable.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/servers/vm/arch/i386/pagetable.c b/servers/vm/arch/i386/pagetable.c index b9d9d2c9c..97200278a 100644 --- a/servers/vm/arch/i386/pagetable.c +++ b/servers/vm/arch/i386/pagetable.c @@ -1371,7 +1371,7 @@ int pt_mapkernel(pt_t *pt) pt->pt_dir[kern_pde] = addr | ARCH_VM_PDE_PRESENT | ARCH_VM_BIGPAGE | ARCH_VM_PTE_RW | global_bit; #elif defined(__arm__) - pt->pt_dir[kern_pde] = (addr & ARCH_VM_PDE_MASK) + pt->pt_dir[kern_pde] = (addr & ARM_VM_SECTION_MASK) | ARM_VM_SECTION | ARM_VM_SECTION_DOMAIN | ARM_VM_SECTION_WT -- 2.44.0