This avoids having to deal with the 1:1 boot mapping crossing a
section or page boundary.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
1: wfe
b 1b
+GLOBAL(_end_boot)
+
/* Copy Xen to new location and switch TTBR
* r1:r0 ttbr
* r2 source address
1: wfe
b 1b
+GLOBAL(_end_boot)
+
/* Copy Xen to new location and switch TTBR
* x0 ttbr
* x1 source address
.stab.indexstr 0 : { *(.stab.indexstr) }
.comment 0 : { *(.comment) }
}
+
+/*
+ * We require that Xen is loaded at a 4K boundary, so this ensures that any
+ * code running on the boot time identity map cannot cross a section boundary.
+ */
+ASSERT( _end_boot - start <= PAGE_SIZE, "Boot code is larger than 4K")