Symbol: match_param_valid_ptr
usr/src/tools/smatch/src/check_kernel.c
462
return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_param_valid_ptr, (void *)0);
usr/src/tools/smatch/src/check_kernel.c
466
return_implies_state("tomoyo_memory_ok", 1, 1, &match_param_valid_ptr, (void *)0);