Re: [PATCH v2] sched_ext: Update scx_dispatch_dequeue() comments

From: Andrea Righi

Date: Thu Sep 24 2026 - 10:53:21 EST


On Thu, 24 Sep 2026 06:05:03 -0700, Usama Arif <usama.arif@xxxxxxxxx> wrote:
> sched_ext: Update scx_dispatch_dequeue() comments

Reviewed-by: Andrea Righi <arighi@xxxxxxxxxx>

--
Andrea Righi <arighi@xxxxxxxxxx>