fpsimd_update_current_state
extern void fpsimd_update_current_state(struct user_fpsimd_state const *state);
fpsimd_update_current_state(&fpsimd);