ARM Internals

Registers

 * 1) TTBR0 - used for user mappings & always points to PGD
 * 2) TTBR1 - used for kernel mapping

Reference Link - www.embedded-bits.co.uk/2011/mmucode www.opennebula.org www.ganeti.com