Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/iso.c __iso_sock_close() -> iso_chan_del()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 1,5,7
PARAM_VALUE 0 sk->conn 4096-ptr_max
PARAM_VALUE 0 sk->conn->hcon 0
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 1 err 104
BUF_SIZE 0 sk (-1),1480
BUF_SIZE 0 sk (-1),1480
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 0 sk

net/bluetooth/iso.c __iso_sock_close() -> iso_chan_del()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 6
PARAM_VALUE 0 sk->conn 4096-ptr_max
PARAM_VALUE 0 sk->conn->hcon 0,4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 1 err 104
BUF_SIZE 0 sk (-1),1480
BUF_SIZE 0 sk (-1),1480
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 0 sk

net/bluetooth/iso.c __iso_sock_close() -> iso_chan_del()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 8
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 1 err 104
BUF_SIZE 0 sk (-1),1480
BUF_SIZE 0 sk (-1),1480
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 0 sk

net/bluetooth/iso.c iso_conn_del() -> iso_chan_del()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sk->timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 1 err 0,5,12-13,16,22,31,38,40,52,56,71,93,95,103-104,107,110-112,114
CAPPED_DATA 0 sk 1
DATA_SOURCE 1 err $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
LOCK2 global &hci_cb_list_lock
LOCK2 0 sk
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &pool->lock

net/bluetooth/iso.c iso_sock_disconn() -> iso_chan_del()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 1,4-7
PARAM_VALUE 0 sk->conn 4096-ptr_max
PARAM_VALUE 0 sk->conn->flags 4096-ptr_max
PARAM_VALUE 0 sk->conn->hcon s64min-(-4096),4096-s64max
PARAM_VALUE 0 sk->conn->hcon->state 2
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 1 err 0,5,12-13,16,22,31,38,40,52,56,71,93,95,103-104,107,110-112,114
BUF_SIZE 0 sk (-1),1480
BUF_SIZE 0 sk (-1),1480
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->qos.bcast.big 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 0 sk