Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/strparser/strparser.c strp_msg_timeout() -> (struct strp_callbacks)->abort_parser()

Type Parameter Key Value
PARAM_VALUE 0 strp 4096-ptr_max
PARAM_VALUE 0 strp->sk->sk_lock.owned 1
PARAM_VALUE 0 strp->sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 strp->sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 strp->sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 strp->sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 err (-110)
CONTAINER 0 -32-344+0 $(-1)
NOCHECK_CALL
LOCK2 0 strp->sk
HALF_LOCKED2 &pool->lock

net/strparser/strparser.c strp_parser_err() -> (struct strp_callbacks)->abort_parser()

Type Parameter Key Value
PARAM_VALUE 0 strp 4096-ptr_max
PARAM_VALUE 0 strp->cb.parse_msg 4096-ptr_max
PARAM_VALUE 0 strp->paused 0
PARAM_VALUE 0 strp->skb_head 0
PARAM_VALUE 1 err s32min-(-1)
BUF_SIZE 0 strp s32min-(-2),1-s32max
BUF_SIZE 0 strp s32min-(-2),1-s32max
BUF_SIZE 0 strp->skb_nextp 0,8
DATA_SOURCE 0 strp $0
DATA_SOURCE 1 err $1
CONTAINER 0 -32-344+0 $(-1)
NOCHECK_CALL
USER_PTR 0 strp->skb_head->data
USER_PTR 0 *strp->skb_nextp->data