Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/rfcomm/tty.c rfcomm_tty_write() -> rfcomm_dlc_send_noerror()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->destructor 7127274170450280448
PARAM_VALUE 1 skb->sk 4096-ptr_max
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb->sk s32min-(-2),1-s32max
DATA_SOURCE 1 skb r rfcomm_wmalloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ap->xmit_lock
HALF_LOCKED2 &component->io_mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &elm->lock
HALF_LOCKED2 &gsm->tx_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sl->lock
HALF_LOCKED2 &tty->atomic_write_lock
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->termios_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &spk_mutex