Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/bluetooth/l2cap_core.c l2cap_handle_rej() -> l2cap_pass_to_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 |
| CAPPED_DATA | 0 | chan | 1 |
| CAPPED_DATA | 0 | &chan->tx_q | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| PARAM_COMPARE | 0 | chan->next_tx_seq | != $1->reqseq |
| 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_handle_srej() -> l2cap_pass_to_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 | 1 |
| CAPPED_DATA | 0 | chan | 1 |
| CAPPED_DATA | 0 | &chan->tx_q | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| PARAM_COMPARE | 0 | chan->next_tx_seq | != $1->reqseq |
| 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_rx_state_recv() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | (-1),24 |
| BUF_SIZE | 1 | control | (-1),24 |
| CAPPED_DATA | 0 | chan | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | chan->conn->hchan->data_q.prev->len | |
| NO_OVERFLOW_SIMPLE | 0 | chan->conn->hchan->data_q.prev->next->len | |
| 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_rx_state_recv() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | (-1),24 |
| BUF_SIZE | 1 | control | (-1),24 |
| CAPPED_DATA | 0 | chan | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | chan->conn->hchan->data_q.prev->len | |
| NO_OVERFLOW_SIMPLE | 0 | chan->conn->hchan->data_q.prev->next->len | |
| 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_rx_state_recv() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | (-1),24 |
| BUF_SIZE | 1 | control | (-1),24 |
| CAPPED_DATA | 0 | chan | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | chan->conn->hchan->data_q.prev->len | |
| NO_OVERFLOW_SIMPLE | 0 | chan->conn->hchan->data_q.prev->next->len | |
| 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_rx_state_recv() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | (-1),24 |
| BUF_SIZE | 1 | control | (-1),24 |
| CAPPED_DATA | 0 | chan | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | chan->conn->hchan->data_q.prev->len | |
| NO_OVERFLOW_SIMPLE | 0 | chan->conn->hchan->data_q.prev->next->len | |
| 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_rx_state_recv() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | (-1),24 |
| BUF_SIZE | 1 | control | (-1),24 |
| CAPPED_DATA | 0 | chan | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | chan->conn->hchan->data_q.prev->len | |
| NO_OVERFLOW_SIMPLE | 0 | chan->conn->hchan->data_q.prev->next->len | |
| 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_rx_state_srej_sent() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 | 1 |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | 24 |
| CAPPED_DATA | 0 | chan->expected_ack_seq | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | 0 | &chan->lock | |
| TYPE_LOCK | (struct l2cap_chan)->lock | ||
| TYPE_LOCK | (struct l2cap_conn)->lock |
net/bluetooth/l2cap_core.c l2cap_rx_state_srej_sent() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 | 1 |
| PARAM_VALUE | 0 | chan->srej_list->list | u16max |
| PARAM_VALUE | 0 | chan->srej_list.head | 0-s16max,32769-u16max |
| PARAM_VALUE | 0 | chan->srej_list.list | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->srej_list.tail | u16max |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | 24 |
| CAPPED_DATA | 0 | chan->expected_ack_seq | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | 0 | &chan->lock | |
| TYPE_LOCK | (struct l2cap_chan)->lock | ||
| TYPE_LOCK | (struct l2cap_conn)->lock |
net/bluetooth/l2cap_core.c l2cap_rx_state_srej_sent() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 | 1 |
| PARAM_VALUE | 0 | chan->srej_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chan->srej_q.next | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->srej_q.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->srej_q.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | 24 |
| CAPPED_DATA | 0 | chan->expected_ack_seq | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | 0 | &chan->lock | |
| TYPE_LOCK | (struct l2cap_chan)->lock | ||
| TYPE_LOCK | (struct l2cap_conn)->lock |
net/bluetooth/l2cap_core.c l2cap_rx_state_srej_sent() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 | 1 |
| PARAM_VALUE | 0 | chan->srej_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chan->srej_q.next | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->srej_q.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->srej_q.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | 24 |
| CAPPED_DATA | 0 | chan->expected_ack_seq | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | 0 | &chan->lock | |
| TYPE_LOCK | (struct l2cap_chan)->lock | ||
| TYPE_LOCK | (struct l2cap_conn)->lock |
net/bluetooth/l2cap_core.c l2cap_rx_state_srej_sent() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 | 1 |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | 24 |
| CAPPED_DATA | 0 | chan->expected_ack_seq | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | 0 | &chan->lock | |
| TYPE_LOCK | (struct l2cap_chan)->lock | ||
| TYPE_LOCK | (struct l2cap_conn)->lock |
net/bluetooth/l2cap_core.c l2cap_rx_state_srej_sent() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 | 1 |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | 24 |
| CAPPED_DATA | 0 | chan->expected_ack_seq | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | 0 | &chan->lock | |
| TYPE_LOCK | (struct l2cap_chan)->lock | ||
| TYPE_LOCK | (struct l2cap_conn)->lock |
net/bluetooth/l2cap_core.c l2cap_rx_state_srej_sent() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 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 | 1 |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| BUF_SIZE | 1 | control | 24 |
| CAPPED_DATA | 0 | chan->expected_ack_seq | 1 |
| CAPPED_DATA | 1 | control->reqseq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | 0 | &chan->lock | |
| TYPE_LOCK | (struct l2cap_chan)->lock | ||
| TYPE_LOCK | (struct l2cap_conn)->lock |
net/bluetooth/l2cap_core.c l2cap_stream_rx() -> l2cap_pass_to_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.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | chan->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | chan->mode | 4 |
| PARAM_VALUE | 0 | chan->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->ops->filter | 0,5601450832164487168 |
| PARAM_VALUE | 0 | chan->ops->teardown | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->state | 1 |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| PARAM_VALUE | 1 | control->sframe | 0 |
| BUF_SIZE | 1 | control | 24 |
| CAPPED_DATA | 0 | chan | 1 |
| CAPPED_DATA | 0 | chan->expected_tx_seq | 1 |
| DATA_SOURCE | 0 | chan | $0 |
| DATA_SOURCE | 1 | control | $1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | &pool->lock | ||
| TYPE_LOCK | (struct l2cap_conn)->lock |