On Tue, May 14, 2013 at 03:13:39PM +0100, Marc Zyngier wrote: > Provide the reset code for a virtual CPU booted in 64bit mode. > > Reviewed-by: Christopher Covington <cov at codeaurora.org> > Signed-off-by: Marc Zyngier <marc.zyngier at arm.com> Reviewed-by: Catalin Marinas <catalin.marinas at arm.com>