Table 4.14 shows the system control registers when CRn is c2.
Table 4.14. c2 system control registers
TTBR0
TTBR1
TTBCR
0x00000000[a]
0x00000000
[a] In Secure state only. You must program the Non-secure version with the required value.