Symbol: store_user_data_return
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1296
store_user_data_return(expr, key, value);
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1317
store_user_data_return(expr, key, value);