Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/core/skmsg.c psock_progs_drop() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/core/skmsg.c psock_progs_drop() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/core/skmsg.c psock_progs_drop() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/core/skmsg.c psock_progs_drop() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/core/skmsg.c sk_psock_stop_strp() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sk->sk_callback_lock
LOCK2 bh
HALF_LOCKED2 sk
TYPE_LOCK (struct sock)->sk_callback_lock

net/core/skmsg.c sk_psock_stop_verdict() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sk->sk_callback_lock
LOCK2 bh
HALF_LOCKED2 sk
TYPE_LOCK (struct sock)->sk_callback_lock

net/core/skmsg.c sk_psock_stop_verdict() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sk->sk_callback_lock
LOCK2 bh
HALF_LOCKED2 sk
TYPE_LOCK (struct sock)->sk_callback_lock

net/core/sock_map.c psock_progs_drop() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &sockmap_mutex

net/core/sock_map.c psock_progs_drop() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &sockmap_mutex

net/core/sock_map.c psock_progs_drop() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &sockmap_mutex

net/core/sock_map.c psock_progs_drop() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &sockmap_mutex

net/core/sock_map.c sock_map_link() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 4096-ptr_max
PARAM_VALUE 1 prog->aux 4096-ptr_max
PARAM_COMPARE 1 prog == $1
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/core/sock_map.c sock_map_link() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 4096-ptr_max
PARAM_VALUE 1 prog->aux 4096-ptr_max
PARAM_COMPARE 1 prog == $1
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/core/sock_map.c sock_map_link() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 4096-ptr_max
PARAM_VALUE 1 prog->aux 4096-ptr_max
PARAM_COMPARE 1 prog == $1
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/core/sock_map.c sock_map_link() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 4096-ptr_max
PARAM_VALUE 1 prog->aux 4096-ptr_max
PARAM_COMPARE 1 prog == $1
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh

net/core/sock_map.c sock_map_link_update_prog() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 4096-ptr_max
BUF_SIZE 1 prog s32min-(-2),1-s32max
BUF_SIZE 1 prog s32min-(-2),1-s32max
CAPPED_DATA 1 prog->expected_attach_type 1
CAPPED_DATA 1 prog->type 1
DATA_SOURCE 1 prog $1
NOCHECK_CALL
LOCK2 global &sockmap_mutex

net/core/sock_map.c sock_map_prog_update() -> psock_set_prog()

Type Parameter Key Value
PARAM_VALUE 0 pprog 4096-ptr_max
PARAM_VALUE 1 prog 0,4096-ptr_max
PARAM_VALUE 1 prog->type 6,9,13-16,18,20,22-23,25-26,28-30
BUF_SIZE 1 prog s32min-(-1),1-s32max
BUF_SIZE 1 prog s32min-(-1),1-s32max
DATA_SOURCE 1 prog $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &sockmap_mutex