Hi Ian, On 30/03/15 12:12, Ian Campbell wrote: > We do not set HCR_EL2.TSW so we will never see these. > > This is undoubtedly wrong, but for now remove the dead code.
Would it be better to trap and ignore them? Even though it wouldn't be entirely correct, it would be better than letting the guest using it. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
