Top Level
Components
Guides
Documenting
Defined in carb/thread/Util.h
The printf format macro to print a thread ID in hexadecimal.