K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2013-07-16T23:19:05.586266Z
K 7
svn:log
V 299
Fix vfp:
 - We should check is_d32 to see howmany registers we have
 - In vfp_restore mark vfpscr as an output register

Without the second part it appears we can return the incorrect value from
vfp_bounce if the VFP condition flags are set as it may override the
register holding the return value.

END