swd: handle various failure conditions
[fw/openocd] / src / rtos / rtos_chibios_stackings.h
index b5eea647b12fd88385b695c606c6c0d5efc236be..8ba2a6ca39cdccda62ecf9e3c7f6c0f2fac62041 100644 (file)
@@ -28,5 +28,6 @@
 #include "rtos.h"
 
 extern const struct rtos_register_stacking rtos_chibios_arm_v7m_stacking;
+extern const struct rtos_register_stacking rtos_chibios_arm_v7m_stacking_w_fpu;
 
 #endif /* ifndef INCLUDED_RTOS_CHIBIOS_STACKINGS_H_ */