Searched refs:old_mpqueue (Results 1 – 1 of 1) sorted by relevance
328 mpqueue_head_t *old_mpqueue = mpqueue_for_timer_call(entry); in timer_call_entry_dequeue() local331 assert(old_mpqueue != NULL); in timer_call_entry_dequeue()344 if (!hw_lock_held((hw_lock_t)&old_mpqueue->lock_data)) { in timer_call_entry_dequeue()346 "queue %p is not locked\n", old_mpqueue); in timer_call_entry_dequeue()350 if (old_mpqueue != timer_longterm_queue) { in timer_call_entry_dequeue()351 priority_queue_remove(&old_mpqueue->mpq_pqhead, in timer_call_entry_dequeue()359 old_mpqueue->count--; in timer_call_entry_dequeue()361 return old_mpqueue; in timer_call_entry_dequeue()370 mpqueue_head_t *old_mpqueue = mpqueue_for_timer_call(entry); in timer_call_entry_enqueue_deadline() local384 if (old_mpqueue != NULL && old_mpqueue != new_mpqueue) { in timer_call_entry_enqueue_deadline()[all …]