K 10
svn:author
V 7
davidxu
K 8
svn:date
V 27
2006-11-20T05:50:59.000000Z
K 7
svn:log
V 208
Use scheduler API sched_user_prio() to adjust thread's userland priority,
use td_base_user_prio to get real userland priority since POSIX priority
mutex may adjust td_user_pri which is an effective priority.

END