Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/usb/typec/tcpm/tcpci_maxim_core.c _max_tcpci_irq() -> process_rx()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->data.regmap 4096-ptr_max
PARAM_VALUE 0 dev->data.regmap->cache_dirty 0-1
PARAM_VALUE 0 dev->port 1-u64max
PARAM_VALUE 1 skbs 1-u16max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skbs $1
BIT_INFO 1 skbs 0x4,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/net/ethernet/chelsio/cxgb3/sge.c deliver_partial_bundle() -> (struct t3cdev)->recv()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 2 n 1-7,9-s32max
BUF_SIZE 1 skbs 64
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skbs $2
DATA_SOURCE 2 n $3
CONTAINER 0 -64+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 1 (*skbs).data

drivers/net/ethernet/chelsio/cxgb3/sge.c ofld_poll() -> (struct t3cdev)->recv()

Type Parameter Key Value
PARAM_VALUE 1 skbs 4096-ptr_max
PARAM_VALUE 2 n 8
BUF_SIZE 1 skbs 64
CONTAINER 0 -64+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 1 (*skbs).data
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/chelsio/cxgb3/sge.c rx_offload() -> (struct t3cdev)->recv()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 skbs 4096-ptr_max
PARAM_VALUE 2 n 8
BUF_SIZE 1 skbs 64
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 skbs $3
CONTAINER 0 -64+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 1 (*skbs).data
HALF_LOCKED2 &q->lock