K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-09-18T13:44:15.332160Z
K 7
svn:log
V 181
Don't read the floating-point registers for now. We will need to enable the
VFP around the read of these instructions as they may raise an exception.

Sponsored by:	ABT Systems Ltd

END