K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2019-09-15T21:27:14.181639Z
K 7
svn:log
V 233
MFC r349905
  According to Section D5.10.3 "Maintenance requirements on changing System
  register values" of the architecture manual, an isb instruction should be
  executed after updating ttbr0_el1 and before invalidating the TLB.

END