lock_stack
static union lock_stack *
union lock_stack *stack = NULL;
witness_lock_stack_free(union lock_stack *stack)
union lock_stack *ls_next;
union lock_stack *li_stack;
union lock_stack *stacks;
union lock_stack *wc_stk_cache;
static void witness_lock_stack_free(union lock_stack *stack);
static union lock_stack *witness_lock_stack_get(void);
static union lock_stack *w_lock_stack_free;
union lock_stack *stacks;