turnstile_stay_asleep
SOBJ_MUTEX, mutex_owner, turnstile_stay_asleep, turnstile_change_pri
SOBJ_RWLOCK, rw_owner, turnstile_stay_asleep, turnstile_change_pri
extern void turnstile_stay_asleep(struct _kthread *);