aarch64 banked / common system registers

Hi !

I'm slowing learning about the differences between armv7 and v8, and I'm wondering where all the banked system registers (like TTBR0 for example) have gone ?

From what I understand in the documentation, if EL3 is aarch64, then almost no system register are banked by security in aarch64 context. It is up to the secure monitor at EL3

to save/restore them all.

Are all system register common now ? Is there a list of the banked / common register available, so I don't forget about one of them ? I'll have a look at the ATF to see if I can find some input there.

Best,

V.