Virtual Memory

In firmware 3.60, the TTBCR has the following value: 0x00000002, which means that TTBCR.N = 2.

When TTBCR.N = 2, the 0x00000000-0x3FFFFFFF virtual region is mapped by TTBR0, and the 0x40000000-0xFFFFFFFF virtual region is mapped by TTBR1.

For this memory map, these were the contents of the registers:

TTBR1 of Kernel Process
Normally you don't need TTBR1 because everything in the kernel such as Driver and Allocated virtual memory are at addresses below 0x40000000, but in special cases TTBR1 is used to map larger memory.

All TTBR1 memory mapped here is static.

Example TTBR0 memory map
For entertainment purposes only. The VADDR mapping changes every boot randomly.