Re: [Xen-devel] [PATCH V2 04/46] arm: avoid inline asm for dsb, isb, wfi and sev.

[Tim Deegan <tim@xxxxxxx>]

At 16:47 +0000 on 14 Feb (1360860438), Ian Campbell wrote:
> "dsb" must be written "dsb sy" on arm64. "dsb sy" is also valid (and
> synonymous) on arm32 but we have a macro so lets use it.
> 
> Signed-off-by: Ian Campbell <ian.campbell@xxxxxxxxxx>

Stefano's acked this one too.  But for good measure,
Acked-by: Tim Deegan <tim@xxxxxxx>

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel