Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/mctp/mctp-usb.c mctp_usb_in_complete() -> mctp_usb_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 mctp_usb 4096-ptr_max
PARAM_VALUE 0 mctp_usb->in_err_count 0-9
PARAM_VALUE 0 mctp_usb->rx.skb 0,4096-ptr_max
PARAM_VALUE 0 mctp_usb->rx.skb->_skb_refdst 0
PARAM_VALUE 0 mctp_usb->rx.skb->cb->magic 1296258128
PARAM_VALUE 0 mctp_usb->rx.skb->data 4096-ptr_max
PARAM_VALUE 0 mctp_usb->rx.skb->data_len 0
PARAM_VALUE 0 mctp_usb->rx.skb->destructor 0
PARAM_VALUE 0 mctp_usb->rx.skb->dev->priv->arfs->filter_count s32min-s32max
PARAM_VALUE 0 mctp_usb->rx.skb->dev->priv->arfs->mode 0-4
PARAM_VALUE 0 mctp_usb->rx.skb->dev->priv->last_filter_id s32min-s32max
PARAM_VALUE 0 mctp_usb->rx.skb->dev->priv->ntp_fltr_count s32min-s32max
PARAM_VALUE 0 mctp_usb->rx.skb->dev->priv->sp_task.cpu s32min-s32max
PARAM_VALUE 0 mctp_usb->rx.skb->dev->priv->sp_task.timer.flags 0-4294967295
PARAM_VALUE 0 mctp_usb->rx.skb->dev->priv->sp_task.timer.is_hard 0-1
PARAM_VALUE 0 mctp_usb->rx.skb->dev->priv->sp_task.timer.is_lazy 0-1
PARAM_VALUE 0 mctp_usb->rx.skb->dev->priv->sp_task.timer.is_queued 0-1
PARAM_VALUE 0 mctp_usb->rx.skb->dev->priv->sp_task.timer.is_soft 0-1
PARAM_VALUE 0 mctp_usb->rx.skb->hdr_len 0
PARAM_VALUE 0 mctp_usb->rx.skb->head_frag 0
PARAM_VALUE 0 mctp_usb->rx.skb->len 0-8190
PARAM_VALUE 0 mctp_usb->rx.skb->next 4096-ptr_max
PARAM_VALUE 0 mctp_usb->rx.skb->nohdr 0
PARAM_VALUE 0 mctp_usb->rx.skb->prev 4096-ptr_max
PARAM_VALUE 0 mctp_usb->rx.skb->protocol 250
PARAM_VALUE 0 mctp_usb->rx.skb->sk 0
PARAM_VALUE 0 mctp_usb->rx.skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 0 mctp_usb->rx.skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 mctp_usb->rx.skb->sk->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 0 mctp_usb->rx.skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 mctp_usb->rx.skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 mctp_usb->rx.skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 mctp_usb->rx.skb->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 mctp_usb->rx.skb->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 0 mctp_usb->rx.skb->sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 0 mctp_usb->rx.skb->sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 mctp_usb->rx.skb->sk->sk_rcu.func 1-u64max
PARAM_VALUE 0 *mctp_usb->netdev->name 0-255
PARAM_VALUE 1 gfp 2080
BUF_SIZE 0 mctp_usb s32min-(-1),1-s32max
BUF_SIZE 0 mctp_usb s32min-(-1),1-s32max
FUZZY_MAX 0 mctp_usb->in_err_count 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mctp_usb unit_byte
HALF_LOCKED2 &pool->lock

drivers/net/mctp/mctp-usb.c mctp_usb_open() -> mctp_usb_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 mctp_usb 4096-ptr_max
PARAM_VALUE 0 mctp_usb->clear_halt 0
PARAM_VALUE 0 mctp_usb->in_err_count 0
PARAM_VALUE 0 mctp_usb->rx_stopped 0
PARAM_VALUE 1 gfp 3264
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/mctp/mctp-usb.c mctp_usb_rx_retry_work() -> mctp_usb_rx_queue()

Type Parameter Key Value
PARAM_VALUE 0 mctp_usb 4096-ptr_max
PARAM_VALUE 0 mctp_usb->clear_halt 0
PARAM_VALUE 0 *mctp_usb->usbdev->toggle 0-4294967295
PARAM_VALUE 1 gfp 3264
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock