K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2013-03-18T15:14:36.326288Z
K 7
svn:log
V 56
do_vfp_vmrs and do_vfp_vmsr should not return anything.

END