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
This commit is contained in:
Igor Smolyar 2013-08-16 17:58:29 +03:00 committed by Gerrit Code Review
parent 4cd78c64a4
commit 3ef93645b9

View file

@ -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;