Define __pthread_manager_adjust_prio and use it to increase priority
authordrepper <drepper>
Tue, 9 Jun 1998 15:10:07 +0000 (15:10 +0000)
committerdrepper <drepper>
Tue, 9 Jun 1998 15:10:07 +0000 (15:10 +0000)
commit94e43a5dd5c7262213a9bc93c8dbf423804c34c7
tree95d4f54f929541c7aa5334b86870be5c302f3754
parent9b872fa8774d0ad22751f6e1047febc78ec14085
Define __pthread_manager_adjust_prio and use it to increase priority
when needed.
linuxthreads/manager.c