mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-23 10:49:20 +08:00
In _Thread_queue_Flush_critical(), update the priority of the thread queue owner only if necessary. The scheduler update priority operation could be expensive.