OMNI_PRIxtid# Defined in carb/thread/Util.h OMNI_PRIxtid# The printf format macro to print a thread ID in hexadecimal.
