arm64: avoid R_AARCH64_ABS64 relocations for Image header fields

Unfortunately, the current way of using the linker to emit build time
constants into the Image header will no longer work once we switch to
the use of PIE executables. The reason is that such constants are emitted
into the binary using R_AARCH64_ABS64 relocations, which are resolved at
runtime, not at build time, and the places targeted by those relocations
will contain zeroes before that.

So refactor the endian swapping linker script constant generation code so
that it emits the upper and lower 32-bit words separately.

Signed-off-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>

1 files changed, 19 insertions, 13 deletions

diff --git a/arch/arm64/kernel/image.h b/arch/arm64/kernel/image.h
index c9c62cab25a4..db1bf57948f1 100644
--- a/arch/arm64/kernel/image.h
+++ b/arch/arm64/kernel/image.h
@@ -26,21 +26,27 @@
  * There aren't any ELF relocations we can use to endian-swap values known only
  * at link time (e.g. the subtraction of two symbol addresses), so we must get
  * the linker to endian-swap certain values before emitting them.
+ *
+ * Note that, in order for this to work when building the ELF64 PIE executable
+ * (for KASLR), these values should not be referenced via R_AARCH64_ABS64
+ * relocations, since these are fixed up at runtime rather than at build time
+ * when PIE is in effect. So we need to split them up in 32-bit high and low
+ * words.
  */
 #ifdef CONFIG_CPU_BIG_ENDIAN
-#define DATA_LE64(data)                                 \
-        ((((data) & 0x00000000000000ff) << 56) |        \
-         (((data) & 0x000000000000ff00) << 40) |        \
-         (((data) & 0x0000000000ff0000) << 24) |        \
-         (((data) & 0x00000000ff000000) << 8)  |        \
-         (((data) & 0x000000ff00000000) >> 8)  |        \
-         (((data) & 0x0000ff0000000000) >> 24) |        \
-         (((data) & 0x00ff000000000000) >> 40) |        \
-         (((data) & 0xff00000000000000) >> 56))
+#define DATA_LE32(data)                         \
+        ((((data) & 0x000000ff) << 24) |        \
+         (((data) & 0x0000ff00) << 8)  |        \
+         (((data) & 0x00ff0000) >> 8)  |        \
+         (((data) & 0xff000000) >> 24))
 #else
-#define DATA_LE64(data) ((data) & 0xffffffffffffffff)
+#define DATA_LE32(data) ((data) & 0xffffffff)
 #endif
 
+#define DEFINE_IMAGE_LE64(sym, data)                            \
+        sym##_lo32 = DATA_LE32((data) & 0xffffffff);            \
+        sym##_hi32 = DATA_LE32((data) >> 32)
+
 #ifdef CONFIG_CPU_BIG_ENDIAN
 #define __HEAD_FLAG_BE          1
 #else
@@ -61,9 +67,9 @@
  * endian swapped in head.S, all are done here for consistency.
  */
 #define HEAD_SYMBOLS                                            \
-        _kernel_size_le         = DATA_LE64(_end - _text);      \
-        _kernel_offset_le       = DATA_LE64(TEXT_OFFSET);       \
-        _kernel_flags_le        = DATA_LE64(__HEAD_FLAGS);
+        DEFINE_IMAGE_LE64(_kernel_size_le, _end - _text);       \
+        DEFINE_IMAGE_LE64(_kernel_offset_le, TEXT_OFFSET);      \
+        DEFINE_IMAGE_LE64(_kernel_flags_le, __HEAD_FLAGS);
 
 #ifdef CONFIG_EFI