fpsimd_save_and_flush_current_state
extern void fpsimd_save_and_flush_current_state(void);
fpsimd_save_and_flush_current_state();
fpsimd_save_and_flush_current_state();
fpsimd_save_and_flush_current_state();
fpsimd_save_and_flush_current_state();
fpsimd_save_and_flush_current_state();
fpsimd_save_and_flush_current_state();