tree e0a08e477e42c19478719e7db273fa03553c6c11
parent bb3ab6cb55f2e60a9743d94ea5bb3390292184c6
author Andrew Walbran <qwandor@google.com> 1550760629 +0000
committer Andrew Walbran <qwandor@google.com> 1550760629 +0000

Save and restore ELR_EL1 and SPSR_EL1 when switching vCPUs.

Change-Id: I176191769de217ae5d1063744dfcdb1d61c34816