...a coprocessor register configured by each individual VM, and is context switched by the OS. Page 10 of 13 Array boundscheck: CHKA Rn,Rm CHKA is a new 16-bit instruction, taking two registers in the range R0-R15. If Rm >= Rn (unsigned...
http://www.arm.com/pdfs/JazelleRCTWhitePaper_final1-0_.pdf