arm:use correct address mask for sections.

diff --git a/servers/vm/arch/i386/pagetable.c b/servers/vm/arch/i386/pagetable.c
index b9d9d2c9cec8b3a25d32fc2897cdc2e622e59bde..97200278a8b64c7784600902e46a1889a84bfe71 100644 (file)
--- 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