Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/hci_sock.c hci_sock_bind() -> send_monitor_note()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0-2,4-255
PARAM_VALUE 0 sk->channel 2
PARAM_VALUE 0 sk->hdev 0,4096-ptr_max
PARAM_VALUE 0 sk->hdev->dev_flags 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 1 fmt 4001623828984954880
BUF_SIZE 1 fmt 22
BUF_SIZE 2 $ 65
BUF_SIZE 3 $ 65
FUZZY_MAX 0 sk->__sk_common.skc_state 2
STR_LEN 0 sk 21
CAPABLE 0 13
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
LOCK2 0 sk
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex

net/bluetooth/hci_sock.c hci_sock_bind() -> send_monitor_note()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0-2,4-255
PARAM_VALUE 0 sk->channel 2
PARAM_VALUE 0 sk->hdev 0,4096-ptr_max
PARAM_VALUE 0 sk->hdev->dev_flags 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 1 fmt 5317561583080882176
PARAM_VALUE 2 $ 2
PARAM_VALUE 3 $ 22
BUF_SIZE 1 fmt 34
FUZZY_MAX 0 sk->__sk_common.skc_state 2
STR_LEN 0 sk 33
CAPABLE 0 13
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
LOCK2 0 sk
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex