disp_lock_exit_high
disp_lock_exit_high(&cap->cap_usagelock);
disp_lock_exit_high(&dp->disp_lock);
disp_lock_exit_high(&dp->disp_lock);
disp_lock_exit_high(&cp->cpu_disp->disp_lock);
disp_lock_exit_high(&cp->cpu_disp->disp_lock);
disp_lock_exit_high(&dp->disp_lock);
disp_lock_exit_high(&dp->disp_lock); /* drop run queue lock */
disp_lock_exit_high(lp);
disp_lock_exit_high(&fsspset->fssps_displock);
disp_lock_exit_high(&fsspset->fssps_displock);
disp_lock_exit_high(&fsspset->fssps_displock);
disp_lock_exit_high(&fsspset->fssps_displock);
disp_lock_exit_high(&fsspset->fssps_displock);
disp_lock_exit_high(&fsspset->fssps_displock);
disp_lock_exit_high(&fsspset->fssps_displock);
disp_lock_exit_high(&fsspset->fssps_displock);
disp_lock_exit_high(&shuttle_lock);
disp_lock_exit_high(oldtlp);
disp_lock_exit_high(&shuttle_lock);
disp_lock_exit_high(&shuttle_lock);
disp_lock_exit_high(tlp);
disp_lock_exit_high(&sqh->sq_lock);
disp_lock_exit_high(sqlp);
disp_lock_exit_high(sqlp);
disp_lock_exit_high(&inheritor->t_pi_lock);
disp_lock_exit_high(&inheritor->t_pi_lock);
disp_lock_exit_high(&wq->wq_lock);
extern void disp_lock_exit_high(disp_lock_t *);
#define thread_unlock_high(t) disp_lock_exit_high((t)->t_lockp)
disp_lock_exit_high(tlp); \
disp_lock_exit_high(&sqh->sq_lock);