Symbol: write_val_to_storage
usr/src/tools/smatch/src/example.c
1530
write_val_to_storage(state, pseudo, out);
usr/src/tools/smatch/src/example.c
1535
write_val_to_storage(state, pseudo, out);