Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/l2cap_core.c l2cap_chan_busy() -> l2cap_tx()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->conn->hchan->data_q.next 4096-ptr_max
PARAM_VALUE 0 chan->conn->hchan->data_q.prev 4096-ptr_max
PARAM_VALUE 0 chan->conn->hchan->data_q.prev->next->next 4096-ptr_max
PARAM_VALUE 0 chan->data 4096-ptr_max
PARAM_VALUE 0 chan->mode 3
PARAM_VALUE 0 chan->ops->alloc_skb 697403281612550144,1428439502886932480,3829141406643666944,4747775035852767232
PARAM_VALUE 0 chan->ops->close 213534670060187648,5426308600317853696,8941342193426427904
PARAM_VALUE 0 chan->ops->defer 1471107293441404928,3353376515601281024,8564691276438745088
PARAM_VALUE 0 chan->ops->filter 0,5601450832164487168
PARAM_VALUE 0 chan->ops->get_peer_pid 0,7806658739735814144
PARAM_VALUE 0 chan->ops->get_sndtimeo 2697548582813421568,4173136885396430848,8824681775271051264
PARAM_VALUE 0 chan->ops->name 367564300844425216,3621607505566339072,3827038824283914240,9192042632466305024
PARAM_VALUE 0 chan->ops->new_connection 0,101309089589129216,1349125343832133632,7594089158128291840,9116300513561088000
PARAM_VALUE 0 chan->ops->ready 1936570842419531776,3141042949788332032,4413953799751630848,8863630754790494208
PARAM_VALUE 0 chan->ops->recv 2187815225111711744,7374705446746943488,8578246076673925120,8652859653051080704
PARAM_VALUE 0 chan->ops->resume 233276029245161472,4654052775929847808,5170076218034978816,5602426340623007744
PARAM_VALUE 0 chan->ops->set_shutdown 3641466375809654784,4929020601093369856,8570201482808676352
PARAM_VALUE 0 chan->ops->state_change 3997558339430535168,8693889062415364096,8999691986912878592
PARAM_VALUE 0 chan->ops->suspend 2882397264801574912,4450364550360055808,7055267220821704704
PARAM_VALUE 0 chan->ops->teardown 4096-ptr_max
PARAM_VALUE 0 chan->rx_avail (-1)-4294967295
PARAM_VALUE 1 control 0
PARAM_VALUE 2 skbs 0
PARAM_VALUE 3 event 1-2
CAPPED_DATA 0 chan 1
DATA_SOURCE 0 chan $0
FUZZY_MAX 3 event 2
HARD_MAX 3 event 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 chan->rx_avail
NO_OVERFLOW_SIMPLE 0 chan->sdu->data_len
NO_OVERFLOW_SIMPLE 0 chan->sdu->len
NO_OVERFLOW_SIMPLE 0 chan->sdu_last_frag->end
NO_OVERFLOW_SIMPLE 0 chan->sdu_last_frag->len
NO_OVERFLOW_SIMPLE 0 chan->sdu_last_frag->next->end
NO_OVERFLOW_SIMPLE 0 chan->sdu_last_frag->next->len
USER_PTR 0 chan->tx_send_head->data
LOCK2 sk
HALF_LOCKED2 &conn->lock
HALF_LOCKED2 0 &chan->lock

net/bluetooth/l2cap_core.c l2cap_chan_send() -> l2cap_tx()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->chan_type 0-1,3-255
PARAM_VALUE 0 chan->conn 4096-ptr_max
PARAM_VALUE 0 chan->mode 3
PARAM_VALUE 1 control 0
PARAM_VALUE 2 skbs 7971830146572820480
PARAM_VALUE 2 skbs->next 4096-ptr_max
PARAM_VALUE 2 skbs->prev 4096-ptr_max
PARAM_VALUE 3 event 0
BUF_SIZE 0 chan->data (-1)-s32max
DATA_SOURCE 0 chan $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &chan->lock

net/bluetooth/l2cap_core.c l2cap_monitor_timeout() -> l2cap_tx()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->lock.dep_map->name 0-255
PARAM_VALUE 0 chan->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 chan->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chan->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 control 0
PARAM_VALUE 2 skbs 0
PARAM_VALUE 3 event 6
NOCHECK_CALL
LOCK2 0 &chan->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct l2cap_chan)->lock

net/bluetooth/l2cap_core.c l2cap_pass_to_tx() -> l2cap_tx()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 chan->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chan->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 chan->mode 3-4
PARAM_VALUE 0 chan->ops 4096-ptr_max
PARAM_VALUE 0 chan->ops->alloc_skb 697403281612550144,1428439502886932480,3829141406643666944,4747775035852767232
PARAM_VALUE 0 chan->ops->close 213534670060187648,5426308600317853696,8941342193426427904
PARAM_VALUE 0 chan->ops->defer 1471107293441404928,3353376515601281024,8564691276438745088
PARAM_VALUE 0 chan->ops->filter 0,5601450832164487168
PARAM_VALUE 0 chan->ops->get_peer_pid 0,7806658739735814144
PARAM_VALUE 0 chan->ops->get_sndtimeo 2697548582813421568,4173136885396430848,8824681775271051264
PARAM_VALUE 0 chan->ops->name 367564300844425216,3621607505566339072,3827038824283914240,9192042632466305024
PARAM_VALUE 0 chan->ops->new_connection 0,101309089589129216,1349125343832133632,7594089158128291840,9116300513561088000
PARAM_VALUE 0 chan->ops->ready 1936570842419531776,3141042949788332032,4413953799751630848,8863630754790494208
PARAM_VALUE 0 chan->ops->recv 2187815225111711744,7374705446746943488,8578246076673925120,8652859653051080704
PARAM_VALUE 0 chan->ops->resume 233276029245161472,4654052775929847808,5170076218034978816,5602426340623007744
PARAM_VALUE 0 chan->ops->set_shutdown 3641466375809654784,4929020601093369856,8570201482808676352
PARAM_VALUE 0 chan->ops->state_change 3997558339430535168,8693889062415364096,8999691986912878592
PARAM_VALUE 0 chan->ops->suspend 2882397264801574912,4450364550360055808,7055267220821704704
PARAM_VALUE 0 chan->ops->teardown 4096-ptr_max
PARAM_VALUE 0 chan->state 1
PARAM_VALUE 1 control 4096-ptr_max
PARAM_VALUE 2 skbs 0
PARAM_VALUE 3 event 3
BUF_SIZE 1 control (-1),24
BUF_SIZE 1 control (-1),24
CAPPED_DATA 0 chan 1
DATA_SOURCE 0 chan $0
DATA_SOURCE 1 control $1
HARD_MAX 0 chan->mode 4
RX_PATH
NOCHECK_CALL
USER_PTR 0 chan->tx_send_head->data
LOCK2 &conn->lock
LOCK2 0 &chan->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct l2cap_chan)->lock
TYPE_LOCK (struct l2cap_conn)->lock

net/bluetooth/l2cap_core.c l2cap_pass_to_tx_fbit() -> l2cap_tx()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 chan->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chan->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 chan->mode 3
PARAM_VALUE 0 chan->ops 4096-ptr_max
PARAM_VALUE 0 chan->ops->alloc_skb 697403281612550144,1428439502886932480,3829141406643666944,4747775035852767232
PARAM_VALUE 0 chan->ops->close 213534670060187648,5426308600317853696,8941342193426427904
PARAM_VALUE 0 chan->ops->defer 1471107293441404928,3353376515601281024,8564691276438745088
PARAM_VALUE 0 chan->ops->filter 0,5601450832164487168
PARAM_VALUE 0 chan->ops->get_peer_pid 0,7806658739735814144
PARAM_VALUE 0 chan->ops->get_sndtimeo 2697548582813421568,4173136885396430848,8824681775271051264
PARAM_VALUE 0 chan->ops->name 367564300844425216,3621607505566339072,3827038824283914240,9192042632466305024
PARAM_VALUE 0 chan->ops->new_connection 0,101309089589129216,1349125343832133632,7594089158128291840,9116300513561088000
PARAM_VALUE 0 chan->ops->ready 1936570842419531776,3141042949788332032,4413953799751630848,8863630754790494208
PARAM_VALUE 0 chan->ops->recv 2187815225111711744,7374705446746943488,8578246076673925120,8652859653051080704
PARAM_VALUE 0 chan->ops->resume 233276029245161472,4654052775929847808,5170076218034978816,5602426340623007744
PARAM_VALUE 0 chan->ops->set_shutdown 3641466375809654784,4929020601093369856,8570201482808676352
PARAM_VALUE 0 chan->ops->state_change 3997558339430535168,8693889062415364096,8999691986912878592
PARAM_VALUE 0 chan->ops->suspend 2882397264801574912,4450364550360055808,7055267220821704704
PARAM_VALUE 0 chan->ops->teardown 4096-ptr_max
PARAM_VALUE 0 chan->rx_state 0-1
PARAM_VALUE 0 chan->state 1
PARAM_VALUE 0 chan->tx_q.next 4096-ptr_max
PARAM_VALUE 1 control 4096-ptr_max
PARAM_VALUE 1 control->poll 0
PARAM_VALUE 2 skbs 0
PARAM_VALUE 3 event 4
CAPPED_DATA 1 control->reqseq 1
DATA_SOURCE 0 chan $0
DATA_SOURCE 1 control $1
HARD_MAX 0 chan->rx_state 1
RX_PATH
NOCHECK_CALL
USER_PTR 0 chan->tx_send_head->data
LOCK2 &conn->lock
LOCK2 0 &chan->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct l2cap_chan)->lock
TYPE_LOCK (struct l2cap_conn)->lock

net/bluetooth/l2cap_core.c l2cap_retrans_timeout() -> l2cap_tx()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->lock.dep_map->name 0-255
PARAM_VALUE 0 chan->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 chan->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chan->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 control 0
PARAM_VALUE 2 skbs 0
PARAM_VALUE 3 event 5
NOCHECK_CALL
LOCK2 0 &chan->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct l2cap_chan)->lock