Symbol: alloc_stack
usr/src/tools/smatch/src/example.c
1497
alloc_stack(state, storage);
usr/src/tools/smatch/src/example.c
1511
alloc_stack(state, storage);
usr/src/tools/smatch/src/example.c
372
alloc_stack(state, storage);
usr/src/tools/smatch/src/example.c
435
alloc_stack(state, src->storage);
usr/src/tools/smatch/src/example.c
610
alloc_stack(state, src->storage);