Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/bluetooth/sco.c __sco_chan_add() -> bt_accept_enqueue()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->__sk_common.skc_state 4
PARAM_VALUE 0 parent->sk_lock.owned 1
PARAM_VALUE 0 parent->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 parent->sk_lock.wq.head.prev 4096-ptr_max
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 1 sk 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_family 31
PARAM_VALUE 1 sk->__sk_common.skc_incoming_cpu (-1)
PARAM_VALUE 1 sk->__sk_common.skc_net.net 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_node->pprev 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_node.pprev 335176054323986432,772819580672045056,4367689545057411072,4645007995955499008,5133415305632411648,8427838062368169984,8887343027816366080
PARAM_VALUE 1 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_rcv_wnd u32max
PARAM_VALUE 1 sk->__sk_common.skc_rx_queue_mapping u16max
PARAM_VALUE 1 sk->__sk_common.skc_state 2
PARAM_VALUE 1 sk->__sk_common.skc_tw_rcv_nxt u32max
PARAM_VALUE 1 sk->__sk_common.skc_tx_queue_mapping u16max
PARAM_VALUE 1 sk->codec.cid u16max
PARAM_VALUE 1 sk->codec.data_path 0
PARAM_VALUE 1 sk->codec.id 2
PARAM_VALUE 1 sk->codec.vid u16max
PARAM_VALUE 1 sk->conn 4096-ptr_max
PARAM_VALUE 1 sk->conn->hcon 1-u64max
PARAM_VALUE 1 sk->conn->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 sk->conn->sk 4096-ptr_max
PARAM_VALUE 1 sk->conn->sk->__sk_common.skc_state 2-3
PARAM_VALUE 1 sk->conn->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 1 sk->conn->sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 1 sk->conn->sk->sk_lock.owned 0-1
PARAM_VALUE 1 sk->conn->sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 1 sk->ns_tracker 0,4096-ptr_max
PARAM_VALUE 1 sk->setting 96
PARAM_VALUE 1 sk->sk_allocation 3264
PARAM_VALUE 1 sk->sk_callback_lock.magic 3736018669
PARAM_VALUE 1 sk->sk_callback_lock.owner (-1)
PARAM_VALUE 1 sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 1 sk->sk_cgrp_data.cgroup 4096-ptr_max
PARAM_VALUE 1 sk->sk_cgrp_data.cgroup->self.refcnt.percpu_count_ptr 1-u64max
PARAM_VALUE 1 sk->sk_data_ready 528724923562565632
PARAM_VALUE 1 sk->sk_destruct 5874737692133109760
PARAM_VALUE 1 sk->sk_drop_counters 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_drop_counters->drops0.counter 0
PARAM_VALUE 1 sk->sk_drop_counters->drops1.counter 0
PARAM_VALUE 1 sk->sk_drops.counter 0
PARAM_VALUE 1 sk->sk_error_queue.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_error_queue.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_error_queue.qlen 0
PARAM_VALUE 1 sk->sk_error_report 6702601906265018368
PARAM_VALUE 1 sk->sk_frag.offset 0
PARAM_VALUE 1 sk->sk_frag.page 0
PARAM_VALUE 1 sk->sk_kern_sock 0
PARAM_VALUE 1 sk->sk_ll_usec 0
PARAM_VALUE 1 sk->sk_lock.dep_map->name 0-255
PARAM_VALUE 1 sk->sk_lock.owned 0
PARAM_VALUE 1 sk->sk_lock.wq.head.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_lock.wq.head.next->next 4096-ptr_max
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->prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_max_pacing_rate u64max
PARAM_VALUE 1 sk->sk_napi_id 0
PARAM_VALUE 1 sk->sk_owner 0
PARAM_VALUE 1 sk->sk_pacing_rate u64max
PARAM_VALUE 1 sk->sk_pacing_shift 10
PARAM_VALUE 1 sk->sk_peek_off (-1)
PARAM_VALUE 1 sk->sk_peer_pid 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_prot_creator 1502282243833135104
PARAM_VALUE 1 sk->sk_prot_creator->owner 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_prot_creator->slab 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_prot_creator->twsk_prot 0
PARAM_VALUE 1 sk->sk_protocol 2
PARAM_VALUE 1 sk->sk_rcvbuf 212992
PARAM_VALUE 1 sk->sk_rcvlowat 1
PARAM_VALUE 1 sk->sk_rcvtimeo s64max
PARAM_VALUE 1 sk->sk_receive_queue.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_receive_queue.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_receive_queue.qlen 0
PARAM_VALUE 1 sk->sk_security 0
PARAM_VALUE 1 sk->sk_send_head 0
PARAM_VALUE 1 sk->sk_sndbuf 212992
PARAM_VALUE 1 sk->sk_sndtimeo 10000
PARAM_VALUE 1 sk->sk_socket 0
PARAM_VALUE 1 sk->sk_stamp (-1000000000)
PARAM_VALUE 1 sk->sk_state_change 8403502521175646208
PARAM_VALUE 1 sk->sk_timer.entry.pprev 0
PARAM_VALUE 1 sk->sk_timer.flags 0-4194302
PARAM_VALUE 1 sk->sk_timer.lockdep_map->name 0-255
PARAM_VALUE 1 sk->sk_use_task_frag 1
PARAM_VALUE 1 sk->sk_wmem_alloc.refs.counter 1
PARAM_VALUE 1 sk->sk_wq 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_wq_raw 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_write_pending 0
PARAM_VALUE 1 sk->sk_write_queue.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_write_queue.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_write_queue.qlen 0
PARAM_VALUE 1 sk->sk_write_space 892094836763238400
PARAM_VALUE 1 sk->sk_zckey.counter 0
PARAM_VALUE 2 bh 1
BUF_SIZE 1 sk->conn 280
CAPPED_DATA 0 parent->__sk_common.skc_net.net 1
CAPPED_DATA 1 sk 1
DATA_SOURCE 0 parent $2
DATA_SOURCE 1 sk $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.len
LOCK2 &conn->lock
LOCK2 global &hci_cb_list_lock
LOCK2 0 parent
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct sco_conn)->lock

net/bluetooth/l2cap_sock.c l2cap_sock_new_connection_cb() -> bt_accept_enqueue()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->__sk_common.skc_state 4
PARAM_VALUE 0 parent->sk_lock.owned 1
PARAM_VALUE 0 parent->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 parent->sk_lock.wq.head.prev 4096-ptr_max
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 1 sk 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_family 31
PARAM_VALUE 1 sk->__sk_common.skc_incoming_cpu (-1)
PARAM_VALUE 1 sk->__sk_common.skc_net.net 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_rcv_wnd u32max
PARAM_VALUE 1 sk->__sk_common.skc_refcnt.refs.counter 1
PARAM_VALUE 1 sk->__sk_common.skc_rx_queue_mapping u16max
PARAM_VALUE 1 sk->__sk_common.skc_state 2
PARAM_VALUE 1 sk->__sk_common.skc_tw_rcv_nxt u32max
PARAM_VALUE 1 sk->__sk_common.skc_tx_queue_mapping u16max
PARAM_VALUE 1 sk->chan 4096-ptr_max
PARAM_VALUE 1 sk->chan->ack_win 63
PARAM_VALUE 1 sk->chan->chan_type 1-3
PARAM_VALUE 1 sk->chan->conf_state 0
PARAM_VALUE 1 sk->chan->conn->tx_ident 0-255
PARAM_VALUE 1 sk->chan->fcs 1
PARAM_VALUE 1 sk->chan->flush_to u16max
PARAM_VALUE 1 sk->chan->global_l.next s64min-(-4096),4096-s64max
PARAM_VALUE 1 sk->chan->global_l.prev 7297327323948507136
PARAM_VALUE 1 sk->chan->imtu 672
PARAM_VALUE 1 sk->chan->lock.first_waiter 0
PARAM_VALUE 1 sk->chan->lock.magic s64min-(-4096),4096-s64max
PARAM_VALUE 1 sk->chan->lock.osq.tail.counter 0
PARAM_VALUE 1 sk->chan->lock.owner.counter 0
PARAM_VALUE 1 sk->chan->max_tx 3
PARAM_VALUE 1 sk->chan->mode 0,3
PARAM_VALUE 1 sk->chan->monitor_timeout 12000
PARAM_VALUE 1 sk->chan->nesting.counter 1
PARAM_VALUE 1 sk->chan->omtu 0
PARAM_VALUE 1 sk->chan->ops 4349237282959949824
PARAM_VALUE 1 sk->chan->ops->alloc_skb 1428439502886932480
PARAM_VALUE 1 sk->chan->ops->close 5426308600317853696
PARAM_VALUE 1 sk->chan->ops->defer 8564691276438745088
PARAM_VALUE 1 sk->chan->ops->filter 5601450832164487168
PARAM_VALUE 1 sk->chan->ops->get_peer_pid 7806658739735814144
PARAM_VALUE 1 sk->chan->ops->get_sndtimeo 8824681775271051264
PARAM_VALUE 1 sk->chan->ops->name 3621607505566339072
PARAM_VALUE 1 sk->chan->ops->new_connection 101309089589129216
PARAM_VALUE 1 sk->chan->ops->ready 3141042949788332032
PARAM_VALUE 1 sk->chan->ops->recv 2187815225111711744
PARAM_VALUE 1 sk->chan->ops->resume 4654052775929847808
PARAM_VALUE 1 sk->chan->ops->set_shutdown 8570201482808676352
PARAM_VALUE 1 sk->chan->ops->state_change 3997558339430535168
PARAM_VALUE 1 sk->chan->ops->suspend 7055267220821704704
PARAM_VALUE 1 sk->chan->ops->teardown 1942840155918454784
PARAM_VALUE 1 sk->chan->remote_max_tx 3
PARAM_VALUE 1 sk->chan->remote_tx_win 63
PARAM_VALUE 1 sk->chan->retrans_timeout 2000
PARAM_VALUE 1 sk->chan->rx_avail (-1)-4294967295
PARAM_VALUE 1 sk->chan->rx_credits 0-u16max
PARAM_VALUE 1 sk->chan->sec_level 1
PARAM_VALUE 1 sk->chan->srej_q.qlen 0
PARAM_VALUE 1 sk->chan->state 2
PARAM_VALUE 1 sk->chan->tx_q.qlen 0
PARAM_VALUE 1 sk->chan->tx_win 63
PARAM_VALUE 1 sk->chan->tx_win_max 63
PARAM_VALUE 1 sk->ns_tracker 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_allocation 3264
PARAM_VALUE 1 sk->sk_callback_lock.magic 3736018669
PARAM_VALUE 1 sk->sk_callback_lock.owner (-1)
PARAM_VALUE 1 sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 1 sk->sk_cgrp_data.cgroup 4096-ptr_max
PARAM_VALUE 1 sk->sk_cgrp_data.cgroup->self.refcnt.percpu_count_ptr 1-u64max
PARAM_VALUE 1 sk->sk_data_ready 528724923562565632
PARAM_VALUE 1 sk->sk_destruct 5131920212974682112
PARAM_VALUE 1 sk->sk_drop_counters 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_drop_counters->drops0.counter 0
PARAM_VALUE 1 sk->sk_drop_counters->drops1.counter 0
PARAM_VALUE 1 sk->sk_drops.counter 0
PARAM_VALUE 1 sk->sk_error_queue.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_error_queue.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_error_queue.qlen 0
PARAM_VALUE 1 sk->sk_error_report 6702601906265018368
PARAM_VALUE 1 sk->sk_frag.offset 0
PARAM_VALUE 1 sk->sk_frag.page 0
PARAM_VALUE 1 sk->sk_kern_sock 0
PARAM_VALUE 1 sk->sk_ll_usec 0
PARAM_VALUE 1 sk->sk_lock.dep_map->name 0-255
PARAM_VALUE 1 sk->sk_lock.owned 0
PARAM_VALUE 1 sk->sk_lock.wq.head.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_lock.wq.head.next->next 4096-ptr_max
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->prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_max_pacing_rate u64max
PARAM_VALUE 1 sk->sk_napi_id 0
PARAM_VALUE 1 sk->sk_owner 0
PARAM_VALUE 1 sk->sk_pacing_rate u64max
PARAM_VALUE 1 sk->sk_pacing_shift 10
PARAM_VALUE 1 sk->sk_peek_off (-1)
PARAM_VALUE 1 sk->sk_peer_pid 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_prot_creator 8573349766535348224
PARAM_VALUE 1 sk->sk_prot_creator->owner 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_prot_creator->slab 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_protocol 0
PARAM_VALUE 1 sk->sk_rcvbuf 212992
PARAM_VALUE 1 sk->sk_rcvlowat 1
PARAM_VALUE 1 sk->sk_rcvtimeo s64max
PARAM_VALUE 1 sk->sk_receive_queue.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_receive_queue.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_receive_queue.qlen 0
PARAM_VALUE 1 sk->sk_security 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_send_head 0
PARAM_VALUE 1 sk->sk_sndbuf 212992
PARAM_VALUE 1 sk->sk_sndtimeo 0-536870912
PARAM_VALUE 1 sk->sk_socket 0
PARAM_VALUE 1 sk->sk_stamp (-1000000000)
PARAM_VALUE 1 sk->sk_state_change 8403502521175646208
PARAM_VALUE 1 sk->sk_timer.entry.pprev 0
PARAM_VALUE 1 sk->sk_timer.flags 0-4194302
PARAM_VALUE 1 sk->sk_timer.lockdep_map->name 0-255
PARAM_VALUE 1 sk->sk_use_task_frag 1
PARAM_VALUE 1 sk->sk_wmem_alloc.refs.counter 1
PARAM_VALUE 1 sk->sk_wq 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_wq_raw 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_write_pending 0
PARAM_VALUE 1 sk->sk_write_queue.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_write_queue.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_write_queue.qlen 0
PARAM_VALUE 1 sk->sk_write_space 892094836763238400
PARAM_VALUE 1 sk->sk_zckey.counter 0
PARAM_VALUE 1 sk->skb_msg_name 7521095621584052224
PARAM_VALUE 2 bh 0
BUF_SIZE 0 parent 1-s32max
BUF_SIZE 0 parent 1-s32max
CAPPED_DATA 0 parent->__sk_common.skc_net.net 1
CAPPED_DATA 1 sk->__sk_common.skc_net.net 1
DATA_SOURCE 1 sk r l2cap_sock_alloc
PARAM_COMPARE 0 parent->sk_ack_backlog <= $0->sk_max_ack_backlog
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &chan->lock
LOCK2 0 parent
HALF_LOCKED2 &conn->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &hci_cb_list_lock
TYPE_LOCK (struct l2cap_chan)->lock

net/bluetooth/iso.c __iso_chan_add() -> bt_accept_enqueue()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->__sk_common.skc_state 1,4,6
PARAM_VALUE 0 parent->base_len 0-248
PARAM_VALUE 0 parent->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 parent->ns_tracker->dead 0-1
PARAM_VALUE 0 parent->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 parent->sk_lock.owned 1
PARAM_VALUE 0 parent->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 parent->sk_lock.wq.head.prev 4096-ptr_max
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 1 sk 4096-ptr_max
PARAM_VALUE 1 sk->conn 4096-ptr_max
PARAM_VALUE 1 sk->conn->flags 4096-ptr_max
PARAM_VALUE 1 sk->conn->hcon 1-u64max
PARAM_VALUE 1 sk->conn->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 sk->conn->rx_skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 sk->conn->rx_skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 sk->conn->rx_skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 sk->conn->sk 4096-ptr_max
PARAM_VALUE 1 sk->conn->sk->sk_lock.owned 0-1
PARAM_VALUE 1 sk->conn->sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_lock.dep_map->name 0-255
PARAM_VALUE 1 sk->sk_lock.owned 0-1
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_owner->refcnt.counter 0-s32max
PARAM_VALUE 1 sk->sk_prot_creator->twsk_prot 0,4096-ptr_max
PARAM_VALUE 1 sk->src_type 1-2
PARAM_VALUE 1 *sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 2 bh 1
BUF_SIZE 1 sk->conn (-1),296
CAPPED_DATA 1 sk 1
DATA_SOURCE 0 parent $2
DATA_SOURCE 1 sk $1
FUZZY_MAX 1 sk->src_type 2
HARD_MAX 1 sk->sk_lock.owned 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.len
UNITS 1 sk unit_byte
LOCK2 &conn->lock
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 global &hci_cb_list_lock
HALF_LOCKED2 0 parent
HALF_LOCKED2 1 sk
TYPE_LOCK (struct iso_conn)->lock

net/bluetooth/rfcomm/sock.c rfcomm_connect_ind() -> bt_accept_enqueue()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->__sk_common.skc_state 4
PARAM_VALUE 0 parent->channel 0-127
PARAM_VALUE 0 parent->role_switch 0-1
PARAM_VALUE 0 parent->sec_level 0-3
PARAM_VALUE 0 parent->sk_lock.owned 1
PARAM_VALUE 0 parent->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 parent->sk_lock.wq.head.prev 4096-ptr_max
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 1 sk 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_family 31
PARAM_VALUE 1 sk->__sk_common.skc_incoming_cpu (-1)
PARAM_VALUE 1 sk->__sk_common.skc_net.net 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_node->pprev 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_node.pprev 335176054323986432,772819580672045056,4367689545057411072,4645007995955499008,5133415305632411648,8427838062368169984,8887343027816366080
PARAM_VALUE 1 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_rcv_wnd u32max
PARAM_VALUE 1 sk->__sk_common.skc_rx_queue_mapping u16max
PARAM_VALUE 1 sk->__sk_common.skc_state 7
PARAM_VALUE 1 sk->__sk_common.skc_tw_rcv_nxt u32max
PARAM_VALUE 1 sk->__sk_common.skc_tx_queue_mapping u16max
PARAM_VALUE 1 sk->channel 0-127
PARAM_VALUE 1 sk->dlc s64min-(-4096),4096-s64max
PARAM_VALUE 1 sk->dlc->cfc 0
PARAM_VALUE 1 sk->dlc->data_ready 2187918740173778944
PARAM_VALUE 1 sk->dlc->defer_setup 0-1
PARAM_VALUE 1 sk->dlc->flags 0
PARAM_VALUE 1 sk->dlc->lock.first_waiter 0
PARAM_VALUE 1 sk->dlc->lock.osq.tail.counter 0
PARAM_VALUE 1 sk->dlc->lock.owner.counter 0
PARAM_VALUE 1 sk->dlc->mscex 0
PARAM_VALUE 1 sk->dlc->mtu 127
PARAM_VALUE 1 sk->dlc->refcnt.refs.counter 1
PARAM_VALUE 1 sk->dlc->role_switch 0-1
PARAM_VALUE 1 sk->dlc->rx_credits 7
PARAM_VALUE 1 sk->dlc->sec_level 0-3
PARAM_VALUE 1 sk->dlc->state 2
PARAM_VALUE 1 sk->dlc->state_change 2997066878740008960
PARAM_VALUE 1 sk->dlc->timer.entry.pprev 0
PARAM_VALUE 1 sk->dlc->timer.flags 0-4194302
PARAM_VALUE 1 sk->dlc->tx_queue.qlen 0
PARAM_VALUE 1 sk->dlc->v24_sig 140
PARAM_VALUE 1 sk->ns_tracker 0,4096-ptr_max
PARAM_VALUE 1 sk->role_switch 0-1
PARAM_VALUE 1 sk->sec_level 0-3
PARAM_VALUE 1 sk->sk_allocation 3264
PARAM_VALUE 1 sk->sk_callback_lock.magic 3736018669
PARAM_VALUE 1 sk->sk_callback_lock.owner (-1)
PARAM_VALUE 1 sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 1 sk->sk_cgrp_data.cgroup 4096-ptr_max
PARAM_VALUE 1 sk->sk_cgrp_data.cgroup->self.refcnt.percpu_count_ptr 1-u64max
PARAM_VALUE 1 sk->sk_data_ready 528724923562565632
PARAM_VALUE 1 sk->sk_destruct 4760551624680022016
PARAM_VALUE 1 sk->sk_drop_counters 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_drop_counters->drops0.counter 0
PARAM_VALUE 1 sk->sk_drop_counters->drops1.counter 0
PARAM_VALUE 1 sk->sk_drops.counter 0
PARAM_VALUE 1 sk->sk_error_queue.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_error_queue.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_error_queue.qlen 0
PARAM_VALUE 1 sk->sk_error_report 6702601906265018368
PARAM_VALUE 1 sk->sk_frag.offset 0
PARAM_VALUE 1 sk->sk_frag.page 0
PARAM_VALUE 1 sk->sk_kern_sock 0
PARAM_VALUE 1 sk->sk_ll_usec 0
PARAM_VALUE 1 sk->sk_lock.dep_map->name 0-255
PARAM_VALUE 1 sk->sk_lock.owned 0
PARAM_VALUE 1 sk->sk_lock.wq.head.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_lock.wq.head.next->next 4096-ptr_max
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->prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_max_pacing_rate u64max
PARAM_VALUE 1 sk->sk_napi_id 0
PARAM_VALUE 1 sk->sk_owner 0
PARAM_VALUE 1 sk->sk_pacing_rate u64max
PARAM_VALUE 1 sk->sk_pacing_shift 10
PARAM_VALUE 1 sk->sk_peek_off (-1)
PARAM_VALUE 1 sk->sk_peer_pid 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_prot_creator 5464273864207876096
PARAM_VALUE 1 sk->sk_prot_creator->owner 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_prot_creator->slab 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_protocol 3
PARAM_VALUE 1 sk->sk_rcvbuf 50800
PARAM_VALUE 1 sk->sk_rcvlowat 1
PARAM_VALUE 1 sk->sk_rcvtimeo s64max
PARAM_VALUE 1 sk->sk_receive_queue.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_receive_queue.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_receive_queue.qlen 0
PARAM_VALUE 1 sk->sk_security 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_send_head 0
PARAM_VALUE 1 sk->sk_sndbuf 50800
PARAM_VALUE 1 sk->sk_sndtimeo 7500
PARAM_VALUE 1 sk->sk_socket 0
PARAM_VALUE 1 sk->sk_stamp (-1000000000)
PARAM_VALUE 1 sk->sk_state_change 8403502521175646208
PARAM_VALUE 1 sk->sk_timer.entry.pprev 0
PARAM_VALUE 1 sk->sk_timer.flags 0-4194302
PARAM_VALUE 1 sk->sk_timer.lockdep_map->name 0-255
PARAM_VALUE 1 sk->sk_use_task_frag 1
PARAM_VALUE 1 sk->sk_wmem_alloc.refs.counter 1
PARAM_VALUE 1 sk->sk_wq 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_wq_raw 0,4096-ptr_max
PARAM_VALUE 1 sk->sk_write_pending 0
PARAM_VALUE 1 sk->sk_write_queue.next 4096-ptr_max
PARAM_VALUE 1 sk->sk_write_queue.prev 4096-ptr_max
PARAM_VALUE 1 sk->sk_write_queue.qlen 0
PARAM_VALUE 1 sk->sk_write_space 892094836763238400
PARAM_VALUE 1 sk->sk_zckey.counter 0
PARAM_VALUE 2 bh 1
CAPPED_DATA 0 parent->__sk_common.skc_net.net 1
CAPPED_DATA 1 sk->__sk_common.skc_net.net 1
CAPPED_DATA 1 sk->channel 1
DATA_SOURCE 0 parent r rfcomm_get_sock_by_channel
DATA_SOURCE 1 sk r rfcomm_sock_alloc
PARAM_COMPARE 0 parent->sk_ack_backlog <= $0->sk_max_ack_backlog
NOSPEC 0 parent->channel
NOSPEC 1 sk->channel
NOCHECK_CALL
LOCK2 global &rfcomm_mutex
LOCK2 0 parent