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

/linux-master/tools/verification/rv/src/
H A Din_kernel.c164 * ikm_write_reactor - switch the reactor to *reactor
168 static int ikm_write_reactor(char *monitor_name, char *reactor) function
615 retval = ikm_write_reactor(monitor_name, config_reactor);
689 ikm_write_reactor(monitor_name, config_initial_reactor);
696 ikm_write_reactor(monitor_name, config_initial_reactor);

Completed in 127 milliseconds