Home
last modified time | relevance | path

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

/linux/tools/verification/rv/src/
H A Din_kernel.c249 int has_id; in ikm_has_id() local
259 has_id = !!strstr(format, "REC->id"); in ikm_has_id()
261 debug_msg("ikm: monitor %s has id: %s\n", monitor_name, has_id ? "yes" : "no"); in ikm_has_id()
265 return has_id; in ikm_has_id()