Using !usr_mode(regs) only catches arm32 usr mode and not arm64 user
mode, switch to psr_mode_is_user instead.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Reviewed-by: Julien Grall <julien.grall@linaro.org>
vcpu_pause(v); /* acceptably dangerous */
vcpu_show_registers(v);
- if ( !usr_mode(&v->arch.cpu_info->guest_cpu_user_regs) )
+ if ( !psr_mode_is_user(&v->arch.cpu_info->guest_cpu_user_regs) )
show_guest_stack(v, &v->arch.cpu_info->guest_cpu_user_regs);
vcpu_unpause(v);