Searched refs:old_key (Results 1 – 1 of 1) sorted by relevance
1589 priority_queue_key_t old_key = priority_queue_max_sched_pri(q); in turnstile_priority_queue_update_entry_key() local1594 return old_key != priority_queue_max_sched_pri(q); in turnstile_priority_queue_update_entry_key()1599 return old_key != priority_queue_max_sched_pri(q); in turnstile_priority_queue_update_entry_key()