Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/bluetooth/btusb.c btusb_recv_acl() -> (struct btusb_data)->recv_acl()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &data->rxlock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct btusb_data)->rxlock

drivers/bluetooth/btusb.c btusb_rx_work() -> (struct btusb_data)->recv_acl()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
DATA_SOURCE 1 skb r skb_dequeue
CONTAINER 0 *(-2072+0) $(-1)
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock