armv7a: correct calculation of ttbr0_mask
authorMatthias Welwarsky <matthias@welwarsky.de>
Thu, 8 Oct 2015 19:12:53 +0000 (21:12 +0200)
committerFreddie Chopin <freddie.chopin@gmail.com>
Thu, 5 Nov 2015 22:28:00 +0000 (22:28 +0000)
commitd83fb242e09b35c885057c78c8503ddd67e5e980
tree5b538bc708912b97bd0b6755db033e2b0b97ac58
parent411ca773f01eac35c64d48dc396138c7a314fba9
armv7a: correct calculation of ttbr0_mask

This patch brings the calculation of the address ranges handled by
ttbr0 and ttbr1 registers in line with ARM DDI 0406C, Table B3-1

Change-Id: Ib807c4b1cb328a6f661e1a0898e744e60d3eccac
Signed-off-by: Matthias Welwarsky <matthias@welwarsky.de>
Reviewed-on: http://openocd.zylin.com/3006
Tested-by: jenkins
Reviewed-by: Freddie Chopin <freddie.chopin@gmail.com>
src/target/armv7a.c
src/target/armv7a.h