12.1 TLB (Translation Lookaside Buffer)

  • TLB Entry
    • Physical Address
    • Virtual Address
    • Memory Type
    • Cache Policies
    • Access Permissions
    • ASID (Address Space ID)
    • VMID (Virtual Machine ID)
  • TLB miss
    • External Translation Table Walk / Lookup is performed
TLBI <type><level>{IS} {, <Xt>}

12.2 Separation of kernel and application Virtual Address spaces

Translation Table Base Registers (TTBR0_EL1, TTBR1_EL1)

  • TTBR0: when upper bits of the VA are all 0
    • EL2, EL3 has it
  • TTBR1: when upper bits of the VA are all 1
    • EL2, EL3 doesn’t have it