@@ -140,7 +140,7 @@ static int vcpu_arm32(struct xc_dom_image *dom)
ctxt->flags = VGCF_online;
- DOMPRINTF("Initial state CPSR %#"PRIx32" PC %#"PRIx32,
+ DOMPRINTF("Initial state CPSR %#"PRIx64" PC %#"PRIx32,
ctxt->user_regs.cpsr, ctxt->user_regs.pc32);
rc = xc_vcpu_setcontext(dom->xch, dom->guest_domid, 0, &any_ctx);
@@ -182,7 +182,7 @@ static int vcpu_arm64(struct xc_dom_image *dom)
ctxt->flags = VGCF_online;
- DOMPRINTF("Initial state CPSR %#"PRIx32" PC %#"PRIx64,
+ DOMPRINTF("Initial state CPSR %#"PRIx64" PC %#"PRIx64,
ctxt->user_regs.cpsr, ctxt->user_regs.pc64);
rc = xc_vcpu_setcontext(dom->xch, dom->guest_domid, 0, &any_ctx);
@@ -556,7 +556,7 @@ static void print_ctx_32(vcpu_guest_context_t *ctx)
printf("PC: %08"PRIx32, regs->pc32);
print_symbol(regs->pc32, KERNEL_TEXT_ADDR);
printf("\n");
- printf("CPSR: %08"PRIx32"\n", regs->cpsr);
+ printf("CPSR: %08"PRIx64"\n", regs->cpsr);
printf("USR: SP:%08"PRIx32" LR:%08"PRIx32"\n",
regs->sp_usr, regs->lr_usr);
printf("SVC: SPSR:%08"PRIx32" SP:%08"PRIx32" LR:%08"PRIx32"\n",
@@ -614,8 +614,8 @@ static void print_ctx_64(vcpu_guest_context_t *ctx)
printf("LR: %016"PRIx64"\n", regs->x30);
printf("ELR_EL1: %016"PRIx64"\n", regs->elr_el1);
- printf("CPSR: %08"PRIx32"\n", regs->cpsr);
- printf("SPSR_EL1: %08"PRIx32"\n", regs->spsr_el1);
+ printf("CPSR: %08"PRIx64"\n", regs->cpsr);
+ printf("SPSR_EL1: %08"PRIx64"\n", regs->spsr_el1);
printf("SP_EL0: %016"PRIx64"\n", regs->sp_el0);
printf("SP_EL1: %016"PRIx64"\n", regs->sp_el1);
918b8842a852 changed CPSR and SPSR to be stored as 64bit values. This is fixing the print size in some tools to use 64bit type. Fixes: 918b8842a852 ("arm64: Change type of hsr, cpsr, spsr_el1 to uint64_t") Signed-off-by: Bertrand Marquis <bertrand.marquis@arm.com> --- Changes in v2: - update commit message - add Fixes --- tools/libs/guest/xg_dom_arm.c | 4 ++-- tools/xentrace/xenctx.c | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-)