Home
last modified time | relevance | path

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

/linux/tools/verification/rv/src/
H A Din_kernel.c21 static char *config_initial_reactor; variable
610 config_initial_reactor = ikm_get_current_reactor(monitor_name); in parse_arguments()
611 if (!config_initial_reactor) in parse_arguments()
688 if (config_reactor && config_initial_reactor) in ikm_run_monitor()
689 ikm_write_reactor(monitor_name, config_initial_reactor); in ikm_run_monitor()
695 if (config_reactor && config_initial_reactor) in ikm_run_monitor()
696 ikm_write_reactor(monitor_name, config_initial_reactor); in ikm_run_monitor()