Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/bluetooth/rfcomm/core.c __rfcomm_dlc_disconn() -> rfcomm_dlc_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->__sk_common.skc_bind_node.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->__sk_common.skc_net.net->ipv4.ping_port_rover | 1-u16max |
| PARAM_VALUE | 0 | d->session->sock->sk->__sk_common.skc_node.pprev | 1-u64max |
| PARAM_VALUE | 0 | d->session->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | d->session->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | d->session->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_lock.wq.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_memcg->memory.high | 0-2251799813685247 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_memcg->memory.low | 0,2251799813685247 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_memcg->memory.min | 0,2251799813685247 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_memcg->memsw.high | 0-2251799813685247 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_memcg->memsw.low | 0,2251799813685247 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_memcg->memsw.min | 0,2251799813685247 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_rcu.flags | 0-4294967295 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_reuseport_cb | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_reuseport_cb->bind_inany | 0-1 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_reuseport_cb->has_conns | 0-1 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_reuseport_cb->incoming_cpu | 0-u16max |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_reuseport_cb->max_socks | 0-u16max |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_reuseport_cb->num_closed_socks | 0-u16max |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_reuseport_cb->num_socks | 0-u16max |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_reuseport_cb->reuseport_id | 0-4294967295 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_reuseport_cb->synq_overflow_ts | 0-4294967295 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_user_data->work.is_hard | 0-1 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_user_data->work.is_lazy | 0-1 |
| PARAM_VALUE | 0 | d->session->sock->sk->sk_user_data->work.is_soft | 0-1 |
| PARAM_VALUE | 0 | d->session->sock->sk->sobject | 0-u16max |
| PARAM_VALUE | 0 | d->state | 8 |
| PARAM_VALUE | 0 | d->tx_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | *d->session->sock->sk->sk_backlog.head->dev->name | 0-255 |
| PARAM_VALUE | 1 | timeout | 5000 |
| CAPPED_DATA | 0 | d | 1 |
| CAPPED_DATA | 0 | d->tx_queue.next | 1 |
| CAPPED_DATA | 0 | &d->tx_queue | 1 |
| DATA_SOURCE | 0 | d | $0 |
| PARAM_COMPARE | 0 | &d->tx_queue | == $0->tx_queue.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | d->dlci | 1-63[c] |
| LOCK2 | global &rfcomm_mutex |
net/bluetooth/rfcomm/core.c __rfcomm_dlc_disconn() -> rfcomm_dlc_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session | 1-u64max |
| PARAM_VALUE | 0 | d->state | 8 |
| PARAM_VALUE | 1 | timeout | 10000 |
| CAPPED_DATA | 0 | d | 1 |
| CAPPED_DATA | 0 | &d->tx_queue | 1 |
| DATA_SOURCE | 0 | d | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | d->dlci | 1-63[c] |
| LOCK2 | global &rfcomm_mutex |
net/bluetooth/rfcomm/core.c __rfcomm_dlc_open() -> rfcomm_dlc_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->cfc | 0-4294967294 |
| PARAM_VALUE | 0 | d->dlci | 0-63 |
| PARAM_VALUE | 0 | d->flags | 0 |
| PARAM_VALUE | 0 | d->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | d->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | d->mscex | 0 |
| PARAM_VALUE | 0 | d->out | 1 |
| PARAM_VALUE | 0 | d->priority | 7 |
| PARAM_VALUE | 0 | d->rx_credits | 7 |
| PARAM_VALUE | 0 | d->sec_level | 1 |
| PARAM_VALUE | 0 | d->session | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->dlcs.next | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | d->session->timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | d->session->timer.function | 0 |
| PARAM_VALUE | 0 | d->state | 7 |
| PARAM_VALUE | 0 | d->v24_sig | 140 |
| PARAM_VALUE | 1 | timeout | 7500 |
| DATA_SOURCE | 0 | d | $0 |
| FUZZY_MAX | 0 | d->cfc | 0 |
| BIT_INFO | 0 | d->addr | 0x1,0xffffffffffffffff |
| BIT_INFO | 0 | d->cfc | 0x0,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rfcomm_mutex | ||
| HALF_LOCKED2 | _T->lock |
net/bluetooth/rfcomm/core.c rfcomm_check_accept() -> rfcomm_dlc_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->defer_setup | 1-u32max |
| PARAM_VALUE | 0 | d->dlci | 1-63 |
| PARAM_VALUE | 0 | d->session | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon->l2cap_data->smp->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon->l2cap_data->smp->lock.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon->pending_sec_level | 0-255 |
| PARAM_VALUE | 0 | d->state | 2 |
| PARAM_VALUE | 1 | timeout | 6250 |
| CAPPED_DATA | 0 | d->dlci | 1 |
| DATA_SOURCE | 0 | d | $0 |
| NOSPEC | 0 | d->dlci | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | d->addr | 0-255[c] |
| USER_DATA | 0 | d->dlci | 1-63[c] |
| LOCK2 | global &rfcomm_mutex |
net/bluetooth/rfcomm/core.c rfcomm_check_accept() -> rfcomm_dlc_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->dlci | 1-63 |
| PARAM_VALUE | 0 | d->session | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon->auth_type | 0-7 |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon->hdev->cmd_q.qlen | 0-4294967295 |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon->l2cap_data->smp->data->remote_key_dist | 0,2,5,7-8,10,13,15 |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon->l2cap_data->smp->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon->l2cap_data->smp->lock.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon->pending_sec_level | 0-255 |
| PARAM_VALUE | 0 | d->state | 2 |
| PARAM_VALUE | 0 | *d->session->sock->sk->chan->conn->hcon->l2cap_data->smp->data | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | timeout | 6250 |
| CAPPED_DATA | 0 | d->dlci | 1 |
| DATA_SOURCE | 0 | d | $0 |
| NOSPEC | 0 | d->dlci | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | d->addr | 0-255[c] |
| USER_DATA | 0 | d->dlci | 1-63[c] |
| LOCK2 | global &rfcomm_mutex |
net/bluetooth/rfcomm/core.c rfcomm_process_connect() -> rfcomm_dlc_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn | 4096-ptr_max |
| PARAM_VALUE | 0 | d->session->sock->sk->chan->conn->hcon | 4096-ptr_max |
| PARAM_VALUE | 0 | d->state | 7 |
| PARAM_VALUE | 1 | timeout | 6250 |
| CAPPED_DATA | 0 | &d->list | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &rfcomm_mutex |
net/bluetooth/rfcomm/core.c rfcomm_process_dlcs() -> rfcomm_dlc_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->out | 1-255 |
| PARAM_VALUE | 1 | timeout | 7500 |
| CAPPED_DATA | 0 | d | 1 |
| CAPPED_DATA | 0 | &d->list | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &rfcomm_mutex |
net/bluetooth/rfcomm/core.c rfcomm_process_dlcs() -> rfcomm_dlc_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->defer_setup | 1-u32max |
| PARAM_VALUE | 0 | d->out | 0 |
| PARAM_VALUE | 1 | timeout | 6250 |
| CAPPED_DATA | 0 | d | 1 |
| CAPPED_DATA | 0 | &d->list | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &rfcomm_mutex |
net/bluetooth/rfcomm/core.c rfcomm_security_cfm() -> rfcomm_dlc_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->sec_level | 2 |
| PARAM_VALUE | 0 | d->state | 1 |
| PARAM_VALUE | 1 | timeout | 6250 |
| CAPPED_DATA | 0 | &d->list | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &hdev->lock | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | global &hci_cb_list_lock | ||
| TYPE_LOCK | (struct hci_dev)->lock |