Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/af_bluetooth.c bt_accept_dequeue() -> bt_accept_get()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->sk_lock.owned 0-1
PARAM_VALUE 0 parent->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 parent->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *parent->sk_backlog.head->dev->name 0-255
PARAM_VALUE 1 sk 0
BUF_SIZE 0 parent (-1),1-s32max
BUF_SIZE 0 parent (-1),1-s32max
CAPPED_DATA 0 parent 1
DATA_SOURCE 0 parent $0
HARD_MAX 0 parent->sk_lock.owned 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 parent->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 parent->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 parent->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 parent->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 parent->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 parent->sk_write_queue.next->prev->data_len
UNITS 0 parent unit_byte
HALF_LOCKED2 0 parent

net/bluetooth/af_bluetooth.c bt_accept_dequeue() -> bt_accept_get()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->accept_q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 parent->sk_lock.owned 0-1
PARAM_VALUE 0 parent->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 parent->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *parent->sk_backlog.head->dev->name 0-255
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 1 sk->parent 4096-ptr_max
PARAM_VALUE 1 sk->sk_lock.owned 1
PARAM_VALUE 1 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 1 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 1 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
BUF_SIZE 0 parent (-1),1-s32max
BUF_SIZE 0 parent (-1),1-s32max
BUF_SIZE 1 sk (-1),1480
BUF_SIZE 1 sk (-1),1480
CAPPED_DATA 0 parent 1
CAPPED_DATA 1 sk->parent 1
DATA_SOURCE 0 parent $0
PARAM_COMPARE 0 parent == $1->parent
PARAM_COMPARE 0 parent == $1->parent
HARD_MAX 0 parent->sk_lock.owned 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 parent->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 parent->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 parent->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 parent->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 parent->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 parent->sk_write_queue.next->prev->data_len
UNITS 0 parent unit_byte
LOCK2 1 sk
HALF_LOCKED2 0 parent