fpstate_init_user
fpstate_init_user(fpstate);
fpstate_init_user(&init_fpstate);
extern void fpstate_init_user(struct fpstate *fpstate);