Hi Marc,
On 03/04/2013 10:47 PM, Marc Zyngier wrote:
Define the 32bit specific registers (SPSRs, cp15...).
Most CPU registers are directly mapped to a 64bit register
(r0-x0...). Only the SPSRs have separate registers.
cp15 registers are also mapped into their 64bit counterpart in most
Define the 32bit specific registers (SPSRs, cp15...).
Most CPU registers are directly mapped to a 64bit register
(r0-x0...). Only the SPSRs have separate registers.
cp15 registers are also mapped into their 64bit counterpart in most
cases.
Signed-off-by: Marc Zyngier marc.zyng...@arm.com
---