I think you're posting in the wrong place - this forum is for Espruino JavaScript.
You're posting C code that isn't related to Espruino - you should contact ST Microelectronics who make the chips at http://st.com, or you might have some luck posting on http://stackoverflow.com/
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
I think you're posting in the wrong place - this forum is for Espruino JavaScript.
You're posting C code that isn't related to Espruino - you should contact ST Microelectronics who make the chips at http://st.com, or you might have some luck posting on http://stackoverflow.com/