The following (chapter D8) in the ARM documentation gives the VMSA (virtual memory system architecture). It is written by zombies and there is probably no living being that understands it, but it gives the legal definition of the system
These articles are pretty helpful:
# __asm_invalidate_tlb_all
switch_el x9, 3f, 2f, 1f
3: tlbi alle3
dsb sy
isb
b 0f
2: tlbi alle2
dsb sy
isb
b 0f
1: tlbi vmalle1
dsb sy
isb
Tom's electronics pages / tom@mmto.org