[PATCH 1/2] xen/arm64: correct comments

[Peng Fan <van.freenix@gmail.com>]

The 'Base address for 4K mapping' is '(x19 >> THIRD_SHIFT) << THIRD_SHIFT'.
Also we are building 4K page mapping, not section mapping.

Signed-off-by: Peng Fan <van.freenix@gmail.com>
Cc: Stefano Stabellini <sstabellini@kernel.org>
Cc: Julien Grall <julien.grall@arm.com>
---
 xen/arch/arm/arm64/head.S | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/xen/arch/arm/arm64/head.S b/xen/arch/arm/arm64/head.S
index 946e2c9..05e3db0 100644
--- a/xen/arch/arm/arm64/head.S
+++ b/xen/arch/arm/arm64/head.S
@@ -471,10 +471,10 @@ skip_bss:
         ldr   x4, =boot_third
         add   x4, x4, x20            /* x4 := paddr (boot_third) */
 
-        lsr   x2, x19, #THIRD_SHIFT  /* Base address for 4K mapping */
-        lsl   x2, x2, #THIRD_SHIFT
-        mov   x3, #PT_MEM_L3         /* x2 := Section map */
-        orr   x2, x2, x3
+        lsr   x2, x19, #THIRD_SHIFT
+        lsl   x2, x2, #THIRD_SHIFT  /* Base address for 4K mapping */
+        mov   x3, #PT_MEM_L3
+        orr   x2, x2, x3            /* x2 := Page map */
 
         /* ... map of vaddr(start) in boot_third */
         mov   x1, xzr
-- 
2.6.2


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel