vfpreg
#include <arm/vfpreg.h>
struct vfpreg pcb_vfp; /* VFP registers */
struct vfpreg pcb_kernel_vfp; /* kernel VFP state */
struct vfpreg fpr_vfp;
load_vfpregs(const struct vfpreg *fregs)
save_vfpregs(struct vfpreg *fregs)
struct vfpreg * const fregs = &pcb->pcb_vfp;
struct vfpreg * const fregs = &pcb->pcb_vfp;
static const struct vfpreg zero_vfpreg;