Hi Ian, On 27/03/15 14:33, Ian Campbell wrote: > They are trapped only with HCR_EL2.TID2 which we don't set, and in any > case we handled only for 32-bit. > > One day we may want to trap and emulate these, but for now don't > bother with the dead code. > > Signed-off-by: Ian Campbell <ian.campb...@citrix.com>
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
