fpsimd_preserve_current_state
extern void fpsimd_preserve_current_state(void);
fpsimd_preserve_current_state();
fpsimd_preserve_current_state();
fpsimd_preserve_current_state();
fpsimd_preserve_current_state();
fpsimd_preserve_current_state();