Symbol: ikm_list_monitors
tools/verification/rv/include/in_kernel.h
2
int ikm_list_monitors(char *container);
tools/verification/rv/src/rv.c
78
ikm_list_monitors(container);