Searched refs:reactors (Results 1 - 1 of 1) sorted by path

/linux-master/tools/verification/rv/src/
H A Din_kernel.c173 snprintf(path, MAX_PATH, "rv/monitors/%s/reactors", monitor_name);
175 debug_msg("ikm: write \"%s\" reactors: %d\n", reactor, retval);
181 * ikm_read_reactor - read the reactors file
184 * available reactors, or NULL on error.
189 char *reactors; local
191 snprintf(path, MAX_PATH, "rv/monitors/%s/reactors", monitor_name);
192 reactors = tracefs_instance_file_read(NULL, path, NULL);
193 if (!reactors) {
194 err_msg("ikm: fail reading monitor's %s reactors file\n", monitor_name);
198 return reactors;
212 char *reactors = ikm_read_reactor(monitor_name); local
504 char *reactors = tracefs_instance_file_read(NULL, "rv/available_reactors", NULL); local
[all...]

Completed in 179 milliseconds