Hi Ian, On 27/03/15 14:33, Ian Campbell wrote: > 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.campb...@citrix.com>
It might be a good backport Reviewed-by: Julien Grall <julien.gr...@linaro.org> Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel