Home
last modified time | relevance | path

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

/linux/tools/verification/rv/src/
H A Din_kernel.c210 static char *ikm_get_current_reactor(char *monitor_name) in ikm_get_current_reactor() function
610 config_initial_reactor = ikm_get_current_reactor(monitor_name); in parse_arguments()