Symbol: points_to_user_data
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1429
if (!pointed_at_found && points_to_user_data(expr)) {
usr/src/tools/smatch/src/smatch_kernel_user_data.c
461
if (points_to_user_data(expr->left))
usr/src/tools/smatch/src/smatch_kernel_user_data.c
463
if (points_to_user_data(expr->right))
usr/src/tools/smatch/src/smatch_kernel_user_data.c
548
if (!points_to_user_data(right))
usr/src/tools/smatch/src/smatch_kernel_user_data.c
623
if (points_to_user_data(expr->right)) {