Should be `static inline`. The compiler is allowed to ignore the `inline` attribute, and produce instances of `thread_getpid` in multiple compiling units, which would break the linking.