diff --git a/sched/wqueue/kwork_inherit.c b/sched/wqueue/kwork_inherit.c index a54fb790a1d..05fdc598456 100644 --- a/sched/wqueue/kwork_inherit.c +++ b/sched/wqueue/kwork_inherit.c @@ -68,7 +68,10 @@ static void lpwork_boostworker(pid_t wpid, uint8_t reqprio) /* REVISIT: Priority multi-boost is not supported */ - DEBUGASSERT(wtcb->boost_priority == 0); + if (wtcb->boost_priority != 0) + { + return; + } /* If the priority of the client thread that is greater than the base * priority of the worker thread, then we may need to adjust the worker @@ -131,7 +134,10 @@ static void lpwork_restoreworker(pid_t wpid, uint8_t reqprio) /* REVISIT: Priority multi-boost is not supported. */ - DEBUGASSERT(wtcb->boost_priority == reqprio); + if (wtcb->boost_priority != reqprio) + { + return; + } /* Clear the threat boost priority. */