Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_api.c __tc_modify_qdisc() -> qdisc_notify()

Type Parameter Key Value
PARAM_VALUE 1 oskb 4096-ptr_max
PARAM_VALUE 1 oskb->data 4096-ptr_max
PARAM_VALUE 1 oskb->data->nlmsg_flags 1-u16max
PARAM_VALUE 1 oskb->data->nlmsg_len 16-4294967295
PARAM_VALUE 1 oskb->data->nlmsg_type 16-u16max
PARAM_VALUE 1 oskb->destructor 172217845709488128
PARAM_VALUE 1 oskb->hdr_len 0
PARAM_VALUE 1 oskb->head_frag 0
PARAM_VALUE 1 oskb->len 16-u32max
PARAM_VALUE 1 oskb->nohdr 0
PARAM_VALUE 1 oskb->pp_recycle 0
PARAM_VALUE 1 oskb->sk 4096-ptr_max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->gen->s.len 0-s32max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 oskb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 oskb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 oskb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 oskb->sk->sk_peer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 n 4096-ptr_max
PARAM_VALUE 2 n->nlmsg_flags 1-u16max
PARAM_VALUE 2 n->nlmsg_len 36-u32max
PARAM_VALUE 2 n->nlmsg_type 16-123
PARAM_VALUE 4 old 0
PARAM_VALUE 5 new 1-u64max
PARAM_VALUE 5 new->rate_est 4096-ptr_max
PARAM_VALUE 5 new->rate_est->timer.lockdep_map->name 0-255
PARAM_VALUE 5 new->stab 0,4096-ptr_max
PARAM_VALUE 6 extack 4971238048455385088
PARAM_VALUE 6 extack->bad_attr 0
PARAM_VALUE 6 extack->policy 0
BUF_SIZE 1 oskb (-1)-s32max
BUF_SIZE 1 oskb (-1)-s32max
BUF_SIZE 2 n 1-s32max
BUF_SIZE 2 n 1-s32max
CAPPED_DATA 1 oskb->sk->__sk_common.skc_net.net 1
CAPPED_DATA 2 n->nlmsg_len 1
CAPPED_DATA 3 clid 1
DATA_SOURCE 1 oskb $0
DATA_SOURCE 2 n $1
DATA_SOURCE 6 extack $2
FUZZY_MAX 1 oskb->data->nlmsg_len 16
FUZZY_MAX 1 oskb->data->nlmsg_type 16
STR_LEN 1 oskb->sk (-1)
CONSTRAINT 2 n <=49
BIT_INFO 2 n->nlmsg_flags 0x1,0xfdff
NOSPEC 2 n->nlmsg_len
MEM_ZERO 6 extack
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 n->nlmsg_flags 1-u16max[u]
USER_DATA 2 n->nlmsg_len 36-s32max[c]
USER_DATA 2 n->nlmsg_pid 0-u32max[u]
USER_DATA 2 n->nlmsg_seq 0-u32max[u]
USER_DATA 2 n->nlmsg_type 16-123[u]
USER_DATA 3 clid 0-4294967280,4294967282-4294967294[c]
NO_OVERFLOW_SIMPLE 1 oskb->end
NO_OVERFLOW_SIMPLE 1 oskb->extensions
NO_OVERFLOW_SIMPLE 1 oskb->len
NO_OVERFLOW_SIMPLE 1 oskb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 oskb->tail
UNITS 2 n unit_byte
UNITS 3 clid unit_array_size
USER_PTR 2 n
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/sched/sch_api.c notify_and_destroy() -> qdisc_notify()

Type Parameter Key Value
PARAM_VALUE 1 oskb 4096-ptr_max
PARAM_VALUE 1 oskb->data 4096-ptr_max
PARAM_VALUE 1 oskb->data->nlmsg_flags 1-u16max
PARAM_VALUE 1 oskb->data->nlmsg_len 16-4294967295
PARAM_VALUE 1 oskb->data->nlmsg_type 16-u16max
PARAM_VALUE 1 oskb->destructor 172217845709488128
PARAM_VALUE 1 oskb->hdr_len 0
PARAM_VALUE 1 oskb->head_frag 0
PARAM_VALUE 1 oskb->len 16-u32max
PARAM_VALUE 1 oskb->nohdr 0
PARAM_VALUE 1 oskb->pp_recycle 0
PARAM_VALUE 1 oskb->sk 4096-ptr_max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->gen->s.len 0-s32max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 oskb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 oskb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 oskb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 oskb->sk->sk_peer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 n 4096-ptr_max
PARAM_VALUE 2 n->nlmsg_flags 1-u16max
PARAM_VALUE 2 n->nlmsg_len 36-u32max
PARAM_VALUE 2 n->nlmsg_type 16-123
PARAM_VALUE 3 clid 1-u32max
PARAM_VALUE 4 old->ops->id 4096-ptr_max
PARAM_VALUE 5 new 0,4096-ptr_max
PARAM_VALUE 5 new->ops->id 4096-ptr_max
PARAM_VALUE 6 extack 4971238048455385088
BUF_SIZE 1 oskb (-1)-s32max
BUF_SIZE 1 oskb (-1)-s32max
BUF_SIZE 2 n 1-s32max
BUF_SIZE 2 n 1-s32max
BUF_SIZE 5 new (-1)-s32max
BUF_SIZE 5 new (-1)-s32max
CAPPED_DATA 1 oskb->sk->__sk_common.skc_net.net 1
CAPPED_DATA 2 n->nlmsg_len 1
CAPPED_DATA 3 clid 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 oskb $1
DATA_SOURCE 2 n $2
DATA_SOURCE 3 clid $3
DATA_SOURCE 4 old $4
DATA_SOURCE 5 new $5
DATA_SOURCE 6 extack $6
FUZZY_MAX 1 oskb->data->nlmsg_len 16
FUZZY_MAX 1 oskb->data->nlmsg_type 16
STR_LEN 1 oskb->sk (-1)
CONSTRAINT 2 n <=49
BIT_INFO 2 n->nlmsg_flags 0x1,0xffffffffffffffff
NOSPEC 2 n->nlmsg_len
NOSPEC 5 new->handle
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 n->nlmsg_flags 1-u16max[u]
USER_DATA 2 n->nlmsg_len 36-s32max[c]
USER_DATA 2 n->nlmsg_pid 0-u32max[u]
USER_DATA 2 n->nlmsg_seq 0-u32max[u]
USER_DATA 2 n->nlmsg_type 16-123[u]
USER_DATA 3 clid 1-4294967294[c]
USER_DATA 5 new->handle 1-4294967280,4294967282-u32max[c]
USER_DATA 5 new->parent 1-u32max
NO_OVERFLOW_SIMPLE 1 oskb->end
NO_OVERFLOW_SIMPLE 1 oskb->extensions
NO_OVERFLOW_SIMPLE 1 oskb->len
NO_OVERFLOW_SIMPLE 1 oskb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 oskb->tail
UNITS 0 net unit_byte
UNITS 2 n unit_byte
UNITS 3 clid unit_array_size
USER_PTR 2 n
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/sched/sch_api.c qdisc_graft() -> qdisc_notify()

Type Parameter Key Value
PARAM_VALUE 1 oskb 4096-ptr_max
PARAM_VALUE 1 oskb->data 4096-ptr_max
PARAM_VALUE 1 oskb->data->nlmsg_flags 1-u16max
PARAM_VALUE 1 oskb->data->nlmsg_len 16-4294967295
PARAM_VALUE 1 oskb->data->nlmsg_type 16-u16max
PARAM_VALUE 1 oskb->destructor 172217845709488128
PARAM_VALUE 1 oskb->hdr_len 0
PARAM_VALUE 1 oskb->head_frag 0
PARAM_VALUE 1 oskb->len 16-u32max
PARAM_VALUE 1 oskb->nohdr 0
PARAM_VALUE 1 oskb->pp_recycle 0
PARAM_VALUE 1 oskb->sk 4096-ptr_max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->gen->s.len 0-s32max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 oskb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 oskb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 oskb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 oskb->sk->sk_peer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 n 4096-ptr_max
PARAM_VALUE 2 n->nlmsg_flags 1-u16max
PARAM_VALUE 2 n->nlmsg_len 36-u32max
PARAM_VALUE 2 n->nlmsg_type 16-123
PARAM_VALUE 3 clid 1-u32max
PARAM_VALUE 4 old->ops->id 4096-ptr_max
PARAM_VALUE 5 new 0,4096-ptr_max
PARAM_VALUE 5 new->depth 0
PARAM_VALUE 5 new->flags 2-u32max
PARAM_VALUE 5 new->ops 4096-ptr_max
PARAM_VALUE 5 new->ops->id 4096-ptr_max
PARAM_VALUE 6 extack 4971238048455385088
PARAM_VALUE 6 extack->_msg 1452724269733560320
BUF_SIZE 1 oskb (-1)-s32max
BUF_SIZE 1 oskb (-1)-s32max
BUF_SIZE 2 n 1-s32max
BUF_SIZE 2 n 1-s32max
BUF_SIZE 5 new (-1)-s32max
BUF_SIZE 5 new (-1)-s32max
CAPPED_DATA 1 oskb->sk->__sk_common.skc_net.net 1
CAPPED_DATA 2 n->nlmsg_len 1
CAPPED_DATA 3 clid 1
DATA_SOURCE 1 oskb $2
DATA_SOURCE 2 n $3
DATA_SOURCE 3 clid $4
DATA_SOURCE 4 old r dev_graft_qdisc
DATA_SOURCE 5 new $5
DATA_SOURCE 6 extack $7
FUZZY_MAX 1 oskb->data->nlmsg_len 16
FUZZY_MAX 1 oskb->data->nlmsg_type 16
STR_LEN 1 oskb->sk (-1)
CONSTRAINT 2 n <=49
BIT_INFO 2 n->nlmsg_flags 0x1,0xffffffffffffffff
NOSPEC 2 n->nlmsg_len
NOSPEC 3 clid
NOSPEC 3 clid
NOSPEC 5 new->handle
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 n->nlmsg_flags 1-u16max[u]
USER_DATA 2 n->nlmsg_len 36-s32max[c]
USER_DATA 2 n->nlmsg_pid 0-u32max[u]
USER_DATA 2 n->nlmsg_seq 0-u32max[u]
USER_DATA 2 n->nlmsg_type 16-123[u]
USER_DATA 3 clid 1-4294967294[c]
USER_DATA 5 new->handle 1-4294967280,4294967282-u32max[c]
USER_DATA 5 new->parent 1-u32max
NO_OVERFLOW_SIMPLE 1 oskb->end
NO_OVERFLOW_SIMPLE 1 oskb->extensions
NO_OVERFLOW_SIMPLE 1 oskb->len
NO_OVERFLOW_SIMPLE 1 oskb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 oskb->tail
UNITS 0 net unit_byte
UNITS 2 n unit_byte
UNITS 3 clid unit_array_size
USER_PTR 2 n
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex