K 10 svn:author V 6 andrew K 8 svn:date V 27 2016-10-14T15:53:48.259066Z K 7 svn:log V 215 Rework how we store the VFP registers in the pcb. This will be used when creating a floating-point context within the kernel without having to move the stored values in memory. Sponsored by: The FreeBSD Foundation END