Symbol: param_data_capped
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1197
if (param_data_capped(value) || is_capped(expr))
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1271
if (param_data_capped(value))