]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
projects / thirdparty / kernel / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a24127) | patch
verification/rvgen: Add support for per-obj monitors
authorGabriele Monaco <gmonaco@redhat.com>
Mon, 30 Mar 2026 11:10:07 +0000 (13:10 +0200)
committerGabriele Monaco <gmonaco@redhat.com>
Tue, 31 Mar 2026 14:47:17 +0000 (16:47 +0200)
commitda282bf7fadb095ee0a40c32ff0126429c769b45
tree246f471f9a2800d8c2dc56e6db8e52138ae26491tree | snapshot
parent4a24127bd6cbf03fb17de8b43f2d8db3f55ca333commit | diff
verification/rvgen: Add support for per-obj monitors

The special per-object monitor type was just introduced in RV, this
requires the user to define some functions and type specific to the
object.

Adapt rvgen to add stub definitions for the monitor_target type and
other modifications required to create per-object monitors.

Reviewed-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/20260330111010.153663-10-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
tools/verification/rvgen/rvgen/dot2k.py diff | blob | blame | history
tools/verification/rvgen/rvgen/generator.py diff | blob | blame | history
A mirror of Linus' kernel repository