Use ARM_VM_SECTION_MASK to determine kernel base address

To map kernel we use 1M sections therefore we should use
ARM_VM_SECTION_MASK to determine base address.

Change-Id: I0b97fe459f2325d702aad9b7b1e8e066d9721b87

diff --git a/kernel/arch/earm/pg_utils.c b/kernel/arch/earm/pg_utils.c
index e5ab5e8e646e7fec79c097ffd3d208809800a61e..b2f383e695e5b7b0c91f8d922f8c35e96d31f0c8 100644 (file)
--- a/kernel/arch/earm/pg_utils.c
+++ b/kernel/arch/earm/pg_utils.c
@@ -173,7 +173,7 @@ int pg_mapkernel(void)
        assert(!(kern_phys_start % ARM_SECTION_SIZE));
        pde = kern_vir_start / ARM_SECTION_SIZE; /* start pde */
        while(mapped < kern_kernlen) {
-               pagedir[pde] = (kern_phys & ARM_VM_PDE_MASK) | ARM_VM_SECTION
+               pagedir[pde] = (kern_phys & ARM_VM_SECTION_MASK) | ARM_VM_SECTION
                        | ARM_VM_SECTION_SUPER
                        | ARM_VM_SECTION_DOMAIN
                        | ARM_VM_SECTION_WT;