fpsimd_restore_current_state
fpsimd_restore_current_state();
extern void fpsimd_restore_current_state(void);