PatchworkOS
Loading...
Searching...
No Matches
Typedefs
tid_t.h File Reference

Go to the source code of this file.

Typedefs

typedef __UINT64_TYPE__ tid_t
 Thread Identifier.