Home
last modified time | relevance | path

Searched refs:nested_name (Results 1 – 1 of 1) sorted by relevance

/linux-6.15/tools/verification/rv/src/
H A Din_kernel.c189 char *desc, *nested_name; in ikm_fill_monitor_definition() local
191 nested_name = strstr(name, ":"); in ikm_fill_monitor_definition()
192 if (nested_name) { in ikm_fill_monitor_definition()
196 *nested_name = '/'; in ikm_fill_monitor_definition()
197 ++nested_name; in ikm_fill_monitor_definition()
202 nested_name = name; in ikm_fill_monitor_definition()
778 nested_name = strstr(monitor_name, ":"); in ikm_run_monitor()
779 if (nested_name) in ikm_run_monitor()
780 ++nested_name; in ikm_run_monitor()
782 nested_name = monitor_name; in ikm_run_monitor()
[all …]