vfpstate
struct vfpstate *
fpu_save_area_free(struct vfpstate *fsa)
fpu_save_area_reset(struct vfpstate *fsa)
vfp_store(struct vfpstate *state)
vfp_restore(struct vfpstate *state)
struct vfpstate *prev;
struct vfpstate state;
static struct vfpstate *fpu_initialstate;
sizeof(struct vfpstate), NULL, NULL, NULL, NULL,
_Alignof(struct vfpstate) - 1, 0);
struct vfpstate *pcb_fpusaved;
struct vfpstate pcb_fpustate;
struct vfpstate *fpu_save_area_alloc(void);
void fpu_save_area_free(struct vfpstate *fsa);
void fpu_save_area_reset(struct vfpstate *fsa);
void vfp_store(struct vfpstate *);
void vfp_restore(struct vfpstate *);
struct vfpstate *guestfpu /* (a,i) guest fpu state */