Splint und System-Header

Hallo,

ich habe eine Toolchain für STM32, Eclipse, arm-none-eabi und openocd 
aufgesetzt und die main.c lässt die LED's blinken.

Als nächstes habe ich Splint gestartet und habe Fehler in der core_cm3.h 
erhalten (parse errors). Diese Fehler hängen offenbar mit __INLINE 
zusammen.

Nachdem ich die entsprechenden Funktionen (immerhin 20 bis 30) mit
#ifndef S_SPLINT_S
...
#endif
ausmaskiert habe, meldet Splint keine Fehler/Warnungen mehr. So weit so 
gut.

Meine Frage lautet: Ist das ein übliches Vorgehen oder sollte ich besser 
das __INLINE bei Splint bekannt machen, und wie mache ich das dann?

Gruß Robert