Symbol: alloc_stack_offset
usr/src/tools/smatch/src/example.c
315
storage->offset = alloc_stack_offset(4);
usr/src/tools/smatch/src/example.c
727
offset = alloc_stack_offset(4);