Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/bfusb.c bfusb_tx_wakeup() -> bfusb_send_bulk()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->lock.dep_map->name 0-255
PARAM_VALUE 0 data->pending_tx.counter s32min-1
PARAM_VALUE 0 data->transmit_q.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
BUF_SIZE 0 data s32min-(-1),1-s32max
BUF_SIZE 0 data s32min-(-1),1-s32max
CAPPED_DATA 0 &data->transmit_q 1
DATA_SOURCE 0 data $0
DATA_SOURCE 1 skb r skb_dequeue
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 data->transmit_q.next->end
NO_OVERFLOW_SIMPLE 0 data->transmit_q.next->len
NO_OVERFLOW_SIMPLE 0 data->transmit_q.next->prev->end
NO_OVERFLOW_SIMPLE 0 data->transmit_q.next->prev->len
NO_OVERFLOW_SIMPLE 0 data->transmit_q.next->prev->tail
NO_OVERFLOW_SIMPLE 0 data->transmit_q.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 data->transmit_q.next->tail
NO_OVERFLOW_SIMPLE 0 data->transmit_q.next->truesize
NO_OVERFLOW_SIMPLE 1 skb->next->data_len
UNITS 0 data unit_byte
LOCK2 0 &data->lock
TYPE_LOCK (struct bfusb_data)->lock