create <5515870c.1080...@linaro.org> title it proper handling of set/way cache maintenance instructions by guests on ARM thanks
On Mon, 2015-03-30 at 13:17 +0100, Julien Grall wrote: > Would it be worth to open a bug on the tracker and mark as a blocker? Yes, done. Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel