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.c277 char *curr_reactor = NULL; in ikm_get_current_reactor() local
296 curr_reactor = calloc(strlen(start) + 1, sizeof(char)); in ikm_get_current_reactor()
297 if (!curr_reactor) in ikm_get_current_reactor()
300 strncpy(curr_reactor, start, strlen(start)); in ikm_get_current_reactor()
301 debug_msg("ikm: read current reactor %s\n", curr_reactor); in ikm_get_current_reactor()
306 return curr_reactor; in ikm_get_current_reactor()