witness_lock_stack_get
instance->li_stack = witness_lock_stack_get();
static union lock_stack *witness_lock_stack_get(void);