From d641f428533e0d1232c1d1646263a8f5f430ca50 Mon Sep 17 00:00:00 2001 From: Bamvor Jian Zhang Date: Mon, 4 Nov 2013 16:01:26 +0800 Subject: [PATCH] xen: arm: add default kernel_start in xenctx Signed-off-by: Bamvor Jian Zhang Acked-by: Ian Campbell --- tools/xentrace/xenctx.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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) -- 2.30.2