diff options
| author | Gabriele Monaco <gmonaco@redhat.com> | 2026-03-30 13:10:07 +0200 |
|---|---|---|
| committer | Gabriele Monaco <gmonaco@redhat.com> | 2026-03-31 16:47:17 +0200 |
| commit | da282bf7fadb095ee0a40c32ff0126429c769b45 (patch) | |
| tree | 246f471f9a2800d8c2dc56e6db8e52138ae26491 /rust/kernel/interop/git@git.tavy.me:linux-stable.git | |
| parent | 4a24127bd6cbf03fb17de8b43f2d8db3f55ca333 (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>
Diffstat (limited to 'rust/kernel/interop/git@git.tavy.me:linux-stable.git')
0 files changed, 0 insertions, 0 deletions