Home
last modified time | relevance | path

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

/linux/tools/verification/rv/src/
H A Din_kernel.c213 char *curr_reactor = NULL; in ikm_get_current_reactor() local
232 curr_reactor = calloc(strlen(start) + 1, sizeof(char)); in ikm_get_current_reactor()
233 if (!curr_reactor) in ikm_get_current_reactor()
236 strncpy(curr_reactor, start, strlen(start)); in ikm_get_current_reactor()
237 debug_msg("ikm: read current reactor %s\n", curr_reactor); in ikm_get_current_reactor()
242 return curr_reactor; in ikm_get_current_reactor()