From: Bamvor Jian Zhang <bjzhang@suse.com>
Date: Mon, 4 Nov 2013 08:01:26 +0000 (+0800)
Subject: xen: arm: add default kernel_start in xenctx
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~6073
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d641f428533e0d1232c1d1646263a8f5f430ca50;p=xen.git

xen: arm: add default kernel_start in xenctx

Signed-off-by: Bamvor Jian Zhang <bjzhang@suse.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---

diff --git a/tools/xentrace/xenctx.c b/tools/xentrace/xenctx.c
index c4b7912f88..57e3277652 100644
--- a/tools/xentrace/xenctx.c
+++ b/tools/xentrace/xenctx.c
@@ -69,10 +69,12 @@ struct symbol {
 
 guest_word_t kernel_stext, kernel_etext, kernel_sinittext, kernel_einittext, kernel_hypercallpage;
 
-#if defined (__i386__)
+#if defined (__i386__) || defined (__arm__)
 unsigned long long kernel_start = 0xc0000000;
-#else
+#elif defined (__x86_64__)
 unsigned long long kernel_start = 0xffffffff80000000UL;
+#elif defined (__aarch64__)
+unsigned long long kernel_start = 0xffffff8000000000UL;
 #endif
 
 static int is_kernel_text(guest_word_t addr)