Hi Ian, On 25/03/15 14:22, Ian Campbell wrote: > CP14 dbg and general CP register access are both handled with > unconditional injection of #undef from their respective handlers, so > allow these even from 32-bit userspace on a 64-bit kernel. > > SMC32 and HVC32 should only come from a guest in AArch32 mode and > SMC64 and HVC64 should only come from a guest in AArch64 mode. Add > appropriate BUG_ONs to all cases. > > After this bad_trap is no longer used. > > 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
