Searched refs:old_mpqueue (Results 1 – 1 of 1) sorted by relevance
327 mpqueue_head_t *old_mpqueue = mpqueue_for_timer_call(entry); in timer_call_entry_dequeue() local330 assert(old_mpqueue != NULL); in timer_call_entry_dequeue()343 if (!hw_lock_held((hw_lock_t)&old_mpqueue->lock_data)) { in timer_call_entry_dequeue()345 "queue %p is not locked\n", old_mpqueue); in timer_call_entry_dequeue()349 if (old_mpqueue != timer_longterm_queue) { in timer_call_entry_dequeue()350 priority_queue_remove(&old_mpqueue->mpq_pqhead, in timer_call_entry_dequeue()358 old_mpqueue->count--; in timer_call_entry_dequeue()360 return old_mpqueue; in timer_call_entry_dequeue()369 mpqueue_head_t *old_mpqueue = mpqueue_for_timer_call(entry); in timer_call_entry_enqueue_deadline() local383 if (old_mpqueue != NULL && old_mpqueue != new_mpqueue) { in timer_call_entry_enqueue_deadline()[all …]