disp_lock_enter_high
disp_lock_enter_high(&cap->cap_usagelock);
disp_lock_enter_high(&dp->disp_lock);
disp_lock_enter_high(&dp->disp_lock);
disp_lock_enter_high(&dp->disp_lock);
disp_lock_enter_high(&dp->disp_lock);
disp_lock_enter_high(&cp->cpu_disp->disp_lock);
disp_lock_enter_high(&swapped_lock);
disp_lock_enter_high(&swapped_lock);
disp_lock_enter_high(&swapped_lock);
disp_lock_enter_high(&transition_lock);
disp_lock_enter_high(&cp->cpu_disp->disp_lock);
disp_lock_enter_high(&fsspset->fssps_displock);
disp_lock_enter_high(&fsspset->fssps_displock);
disp_lock_enter_high(&fsspset->fssps_displock);
disp_lock_enter_high(&fsspset->fssps_displock);
disp_lock_enter_high(&fsspset->fssps_displock);
disp_lock_enter_high(&fsspset->fssps_displock);
disp_lock_enter_high(&shuttle_lock);
disp_lock_enter_high(&shuttle_lock);
disp_lock_enter_high(&shuttle_lock);
disp_lock_enter_high(&sqh->sq_lock);
disp_lock_enter_high(&inheritor->t_pi_lock);
disp_lock_enter_high(&inheritor->t_pi_lock);
disp_lock_enter_high(&wq->wq_lock);
extern void disp_lock_enter_high(disp_lock_t *);
disp_lock_enter_high(&sqh->sq_lock);