arm: Restore 64 bit TTBR0/TTBR1 registers for LPAE targets
LPAE enabled targets use 64 bit version of the TTB 0 and TTB 1
registers. So the 64 bit registers have to be saved and restored during
reset.
Change-Id: Ia49a840b164d55a8ebe53182de2512bee4edf00b
Signed-off-by:
Mahesh Sivasubramanian <msivasub@codeaurora.org>
Loading
Please register or sign in to comment