tools/verification/rv/include/in_kernel.h

// SPDX-License-Identifier: GPL-2.0
int ikm_list_monitors(char *container);
int ikm_run_monitor(char *monitor, int argc, char **argv);
tools/rv: Add in-kernel monitor interface 2022-11-11 16:53:06 +01:00			`// SPDX-License-Identifier: GPL-2.0`
tools/rv: Allow rv list to filter for container 2025-03-05 15:04:02 +01:00			`int ikm_list_monitors(char *container);`
tools/rv: Add in-kernel monitor interface 2022-11-11 16:53:06 +01:00			`int ikm_run_monitor(char monitor, int argc, char *argv);`