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

Reply via email to