1 files changed, 6 insertions, 0 deletions

diff --git a/arch/x86/boot/compressed/misc.c b/arch/x86/boot/compressed/misc.c
index b50c42455e25..8e4b55dd5df9 100644
--- a/arch/x86/boot/compressed/misc.c
+++ b/arch/x86/boot/compressed/misc.c
@@ -14,6 +14,7 @@
 
 #include "misc.h"
 #include "error.h"
+#include "pgtable.h"
 #include "../string.h"
 #include "../voffset.h"
 
@@ -372,6 +373,11 @@ asmlinkage __visible void *extract_kernel(void *rmode, memptr heap,
         debug_putaddr(output_len);
         debug_putaddr(kernel_total_size);
 
+#ifdef CONFIG_X86_64
+        /* Report address of 32-bit trampoline */
+        debug_putaddr(trampoline_32bit);
+#endif
+
         /*
          * The memory hole needed for the kernel is the larger of either
          * the entire decompressed kernel plus relocation table, or the