__pthread_set_default_priority
void __pthread_set_default_priority(int32 priority);
__pthread_set_default_priority(value);