K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-04-17T09:14:58.955549Z
K 7
svn:log
V 167
Use cp15_ifar_get to get the instruction fault address. When using Thumb-2
the instruction may be over two pages so the program counter could point
to the wrong page.

END