Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_kernel.c80 static void match_param_valid_ptr(const char *fn, struct expression *call_expr, in match_param_valid_ptr() function
462 return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_param_valid_ptr, (void *)0); in check_kernel()
466 return_implies_state("tomoyo_memory_ok", 1, 1, &match_param_valid_ptr, (void *)0); in check_kernel()