Go to the documentation of this file. 22 typedef int OsTaskId_t;
23 #elif defined(_VXWORKS) 25 #elif defined(__pingtel_on_posix__) 26 typedef pthread_t OsTaskId_t;
28 # error Unsupported target platform. 31 #endif // _OsTaskId_h_ _W64 signed int intptr_t
Definition: stdint.h:118