Document pthread_scheduling.h