Re: [PATCH v5 9/9] rv: Add opid per-cpu monitor

[Nam Cao]

On Mon, Jul 28, 2025 at 03:50:21PM +0200, Gabriele Monaco wrote:
> Add a per-cpu monitor as part of the sched model:
> * opid: operations with preemption and irq disabled
>     Monitor to ensure wakeup and need_resched occur with irq and
>     preemption disabled or in irq handlers.
> 
> Signed-off-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>

The monitor implementation looks fine:
Acked-by: Nam Cao <namcao@xxxxxxxxxxxxx>

And on x86 and riscv64:
Tested-by: Nam Cao <namcao@xxxxxxxxxxxxx>