Re: [PATCH v4 02/11] rv: Add license identifiers to monitor files

[Gabriele Monaco]

On Tue, 2025-03-04 at 12:18 -0500, Steven Rostedt wrote:
> On Tue, 18 Feb 2025 13:31:07 +0100
> Gabriele Monaco <gmonaco@xxxxxxxxxx> wrote:
> 
> > Some monitor files like the main header and the Kconfig are missing
> > the
> > license identifier.
> > 
> > Add it to those and make sure the automatic generation script
> > includes
> > the line in newly created monitors.
> > 
> > Signed-off-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>
> > ---
> >  kernel/trace/rv/monitors/wip/Kconfig            | 2 ++
> >  kernel/trace/rv/monitors/wip/wip.h              | 1 +
> >  kernel/trace/rv/monitors/wwnr/Kconfig           | 2 ++
> >  kernel/trace/rv/monitors/wwnr/wwnr.h            | 1 +
> >  tools/verification/dot2/dot2k.py                | 1 +
> >  tools/verification/dot2/dot2k_templates/Kconfig | 2 ++
> >  6 files changed, 9 insertions(+)
> 
> While I'm waiting for Peter's answer on the scheduler tracepoints,
> I'll
> take these first two patches now, as they are agnostic to the rest of
> the
> changes.
> 
> -- Steve
> 

Great, thank you!

I just found a problem in 3/11: current_restore_rtlock_saved_state
doesn't pass the correct state to the new tracepoint.
I'm going to send a V5 and will leave the first 2 patches out.

Gabriele