vfp_store
vfp_store(&pcb->pcb_vfpstate, false);
vfp_store(pcb->pcb_vfpsaved, true);
void vfp_store(struct vfp_state *, boolean_t);
vfp_store(pcb->pcb_fpusaved);
vfp_store(fpu_initialstate);
void vfp_store(struct vfpstate *);
vfp_store(vcpu->guestfpu);