Searched refs:old_mpqueue (Results 1 – 1 of 1) sorted by relevance
299 mpqueue_head_t *old_mpqueue = mpqueue_for_timer_call(entry); in timer_call_entry_dequeue() local302 assert(old_mpqueue != NULL); in timer_call_entry_dequeue()315 if (!hw_lock_held((hw_lock_t)&old_mpqueue->lock_data)) { in timer_call_entry_dequeue()317 "queue %p is not locked\n", old_mpqueue); in timer_call_entry_dequeue()321 if (old_mpqueue != timer_longterm_queue) { in timer_call_entry_dequeue()322 priority_queue_remove(&old_mpqueue->mpq_pqhead, in timer_call_entry_dequeue()330 old_mpqueue->count--; in timer_call_entry_dequeue()332 return old_mpqueue; in timer_call_entry_dequeue()341 mpqueue_head_t *old_mpqueue = mpqueue_for_timer_call(entry); in timer_call_entry_enqueue_deadline() local355 if (old_mpqueue != NULL && old_mpqueue != new_mpqueue) { in timer_call_entry_enqueue_deadline()[all …]