Home
last modified time | relevance | path

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

/linux-6.15/tools/verification/rv/src/
Din_kernel.c189 char *desc, *nested_name; in ikm_fill_monitor_definition() local
775 char *nested_name, full_name[2*MAX_DA_NAME_LEN]; in ikm_run_monitor() local