Home
last modified time | relevance | path

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

/linux/tools/verification/rv/src/
H A Din_kernel.c168 static int ikm_write_reactor(char *monitor_name, char *reactor) in ikm_write_reactor() function
615 retval = ikm_write_reactor(monitor_name, config_reactor); in parse_arguments()
689 ikm_write_reactor(monitor_name, config_initial_reactor); in ikm_run_monitor()
696 ikm_write_reactor(monitor_name, config_initial_reactor); in ikm_run_monitor()