Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/smc/af_smc.c smc_connect_ism() -> smc_clc_send_confirm()

Type Parameter Key Value
PARAM_VALUE 0 smc 4096-ptr_max
PARAM_VALUE 0 smc->clcsock 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk->__sk_common.skc_bind_node.pprev 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk->__sk_common.skc_net.net->ipv4.ping_port_rover 1-u16max
PARAM_VALUE 0 smc->clcsock->sk->__sk_common.skc_u16hashes 0-u32max
PARAM_VALUE 0 smc->clcsock->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 smc->clcsock->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->sk_backlog.head->cb->type 4
PARAM_VALUE 0 smc->clcsock->sk->sk_backlog.head->dev->flags 1-u32max
PARAM_VALUE 0 smc->clcsock->sk->sk_backlog.head->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 smc->clcsock->sk->sk_dst_cache->callback_head.flags 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->sk_dst_cache->callback_head.is_hard 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_dst_cache->callback_head.is_lazy 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_dst_cache->callback_head.is_queued 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_dst_cache->callback_head.is_soft 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_error_queue.next->prev 2011684551238094848
PARAM_VALUE 0 smc->clcsock->sk->sk_filter->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 smc->clcsock->sk->sk_lock.owned 0
PARAM_VALUE 0 smc->clcsock->sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 smc->clcsock->sk->sk_lock.wq.head.next 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memory.high 0-2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memory.low 0,2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memory.min 0,2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memsw.high 0-2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memsw.low 0,2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memsw.min 0,2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 smc->clcsock->sk->sk_reuseport_cb->rcu.flags 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->sk_user_data->work.is_hard 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_user_data->work.is_lazy 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_user_data->work.is_soft 0-1
PARAM_VALUE 0 smc->clcsock->sk->sobject 0-u16max
PARAM_VALUE 0 smc->conn.alert_node.__rb_parent_color 1
PARAM_VALUE 0 smc->conn.alert_node.rb_left 4096-ptr_max
PARAM_VALUE 0 smc->conn.alert_node.rb_right 4096-ptr_max
PARAM_VALUE 0 smc->conn.alert_token_local 1-u32max
PARAM_VALUE 0 smc->conn.bytes_to_rcv.counter 0
PARAM_VALUE 0 smc->conn.cdc_pend_tx_wq.head.next 4096-ptr_max
PARAM_VALUE 0 smc->conn.cdc_pend_tx_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 smc->conn.cdc_pend_tx_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 smc->conn.cdc_pend_tx_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 smc->conn.cdc_pend_tx_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 smc->conn.freed 0
PARAM_VALUE 0 smc->conn.lgr 4096-ptr_max
PARAM_VALUE 0 smc->conn.lgr->conns_all.rb_node 4096-ptr_max
PARAM_VALUE 0 smc->conn.lgr->conns_lock.dep_map->name 0-255
PARAM_VALUE 0 smc->conn.lgr->conns_lock.owner_cpu 0
PARAM_VALUE 0 smc->conn.lgr->conns_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 smc->conn.lgr->llc_conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 smc->conn.lgr->llc_conf_mutex.first_waiter->handoff_set 0-1
PARAM_VALUE 0 smc->conn.lgr->llc_conf_mutex.first_waiter->type 0-1
PARAM_VALUE 0 smc->conn.lgr->llc_flow_lcl.type 0,2,4-6
PARAM_VALUE 0 smc->conn.lgr->peer_os 0-15
PARAM_VALUE 0 smc->conn.lgr->peer_smc_release 0-15
PARAM_VALUE 0 smc->conn.lgr->rmbs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 smc->conn.lgr->rmbs_lock.first_waiter->type 0-1
PARAM_VALUE 0 smc->conn.lgr->smcd 4096-ptr_max
PARAM_VALUE 0 smc->conn.lgr->smcd->dibs 4096-ptr_max
PARAM_VALUE 0 smc->conn.lgr->smcd->dibs->ops 4096-ptr_max
PARAM_VALUE 0 smc->conn.lgr->smcd->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 smc->conn.lgr->sndbufs_lock.dep_map->name 0-255
PARAM_VALUE 0 smc->conn.lgr->sndbufs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 smc->conn.lgr->sndbufs_lock.first_waiter->type 0-1
PARAM_VALUE 0 smc->conn.lgr->sync_err 0
PARAM_VALUE 0 smc->conn.local_tx_ctrl.common.type 254
PARAM_VALUE 0 smc->conn.local_tx_ctrl.len 44
PARAM_VALUE 0 smc->conn.peer_rmbe_idx 0-1
PARAM_VALUE 0 smc->conn.rmb_desc 4096-ptr_max
PARAM_VALUE 0 smc->conn.rmb_desc->list.next 4096-ptr_max
PARAM_VALUE 0 smc->conn.rmb_desc->list.prev 4096-ptr_max
PARAM_VALUE 0 smc->conn.rmb_desc->used 1
PARAM_VALUE 0 smc->conn.rmbe_size_comp 0-15
PARAM_VALUE 0 smc->conn.rmbe_update_limit 2304-s32max
PARAM_VALUE 0 smc->conn.rtoken_idx (-28),0-254
PARAM_VALUE 0 smc->conn.rx_off 0,32
PARAM_VALUE 0 smc->conn.rx_tsklet.count.counter 0
PARAM_VALUE 0 smc->conn.rx_tsklet.data 0
PARAM_VALUE 0 smc->conn.rx_tsklet.next 0
PARAM_VALUE 0 smc->conn.rx_tsklet.state 0
PARAM_VALUE 0 smc->conn.rx_tsklet.use_callback 1
PARAM_VALUE 0 smc->conn.sndbuf_desc 4096-ptr_max
PARAM_VALUE 0 smc->conn.sndbuf_desc->used 1
PARAM_VALUE 0 smc->conn.splice_pending.counter 0
PARAM_VALUE 0 smc->conn.urg_state 3
PARAM_VALUE 0 smc->sk.sk_data_ready 3817137084538871808
PARAM_VALUE 0 smc->sk.sk_write_space 6582796481693622272
PARAM_VALUE 0 smc->use_fallback 0
PARAM_VALUE 0 *smc->clcsock->sk->sk_backlog.head->cb->data_end (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *smc->clcsock->sk->sk_backlog.head->data->hdr 0-4294967295
PARAM_VALUE 0 *smc->clcsock->sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 0 *smc->conn.lgr->negotiated_eid 0-255
PARAM_VALUE 0 *smc->conn.lgr->peer_hostname 0-255
PARAM_VALUE 4 ini 4096-ptr_max
PARAM_VALUE 4 ini->check_smcrv2 0
PARAM_VALUE 4 ini->first_contact_local 0-1
PARAM_VALUE 4 ini->first_contact_peer 0,2
PARAM_VALUE 4 ini->ib_dev 0,4096-ptr_max
PARAM_VALUE 4 ini->ib_dev->ibdev 4096-ptr_max
PARAM_VALUE 4 ini->ib_port 0-2
PARAM_VALUE 4 ini->is_smcd 1
PARAM_VALUE 4 ini->ism_peer_gid 4096-ptr_max
PARAM_VALUE 4 ini->smc_type_v1 0-3
PARAM_VALUE 4 ini->smc_type_v2 0-3
PARAM_VALUE 4 ini->smcd_version 1-2
PARAM_VALUE 4 ini->smcr_version 0-3
PARAM_VALUE 4 ini->smcrv2->nexthop_mac 0-255
PARAM_VALUE 4 ini->smcrv2.ib_dev_v2 0,4096-ptr_max
PARAM_VALUE 4 ini->smcrv2.ib_dev_v2->ibdev 4096-ptr_max
PARAM_VALUE 4 ini->smcrv2.ib_port_v2 0-2
PARAM_VALUE 4 *ini->ib_gid 0-255
PARAM_VALUE 4 *ini->ism_chid 0-u16max
PARAM_VALUE 4 *ini->smcrv2.ib_gid_v2 0-255
BUF_SIZE 3 eid 0,32
BUF_SIZE 3 eid 0,32
BUF_SIZE 4 ini 448
CAPPED_DATA 0 smc->clcsock->sk 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_net.net 1
DATA_SOURCE 0 smc $0
DATA_SOURCE 4 ini $2
BIT_INFO 4 ini->first_contact_peer 0x0,0x2
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smc_server_lgr_pending
HALF_LOCKED2 sk
HALF_LOCKED2 0 &smc->sk

net/smc/af_smc.c smc_connect_rdma() -> smc_clc_send_confirm()

Type Parameter Key Value
PARAM_VALUE 0 smc 4096-ptr_max
PARAM_VALUE 0 smc->clcsock 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk->__sk_common.skc_bind_node.pprev 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk->__sk_common.skc_net.net->ipv4.ping_port_rover 1-u16max
PARAM_VALUE 0 smc->clcsock->sk->__sk_common.skc_u16hashes 0-u32max
PARAM_VALUE 0 smc->clcsock->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 smc->clcsock->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->sk_backlog.head->cb->type 4
PARAM_VALUE 0 smc->clcsock->sk->sk_backlog.head->dev->flags 1-u32max
PARAM_VALUE 0 smc->clcsock->sk->sk_backlog.head->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 smc->clcsock->sk->sk_dst_cache->callback_head.flags 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->sk_dst_cache->callback_head.is_hard 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_dst_cache->callback_head.is_lazy 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_dst_cache->callback_head.is_queued 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_dst_cache->callback_head.is_soft 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_error_queue.next->prev 2011684551238094848
PARAM_VALUE 0 smc->clcsock->sk->sk_filter->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 smc->clcsock->sk->sk_lock.owned 0
PARAM_VALUE 0 smc->clcsock->sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 smc->clcsock->sk->sk_lock.wq.head.next 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memory.high 0-2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memory.low 0,2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memory.min 0,2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memsw.high 0-2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memsw.low 0,2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->memsw.min 0,2251799813685247
PARAM_VALUE 0 smc->clcsock->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 smc->clcsock->sk->sk_reuseport_cb->rcu.flags 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->sk_user_data->work.is_hard 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_user_data->work.is_lazy 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_user_data->work.is_soft 0-1
PARAM_VALUE 0 smc->clcsock->sk->sobject 0-u16max
PARAM_VALUE 0 smc->conn->lnk->lgr->smcd->dibs->dmb_clientid_arr 255
PARAM_VALUE 0 smc->conn.alert_node.__rb_parent_color 1
PARAM_VALUE 0 smc->conn.alert_node.rb_left 4096-ptr_max
PARAM_VALUE 0 smc->conn.alert_node.rb_right 4096-ptr_max
PARAM_VALUE 0 smc->conn.alert_token_local 1-u32max
PARAM_VALUE 0 smc->conn.bytes_to_rcv.counter 0
PARAM_VALUE 0 smc->conn.cdc_pend_tx_wq.head.next 4096-ptr_max
PARAM_VALUE 0 smc->conn.cdc_pend_tx_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 smc->conn.cdc_pend_tx_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 smc->conn.cdc_pend_tx_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 smc->conn.cdc_pend_tx_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 smc->conn.freed 0
PARAM_VALUE 0 smc->conn.lgr 4096-ptr_max
PARAM_VALUE 0 smc->conn.lgr->conns_all.rb_node 4096-ptr_max
PARAM_VALUE 0 smc->conn.lgr->conns_lock.dep_map->name 0-255
PARAM_VALUE 0 smc->conn.lgr->conns_lock.owner_cpu 0
PARAM_VALUE 0 smc->conn.lgr->conns_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 smc->conn.lgr->llc_conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 smc->conn.lgr->llc_conf_mutex.first_waiter->handoff_set 0-1
PARAM_VALUE 0 smc->conn.lgr->llc_conf_mutex.first_waiter->type 0-1
PARAM_VALUE 0 smc->conn.lgr->llc_flow_lcl.type 0,2,4-6
PARAM_VALUE 0 smc->conn.lgr->lnk 4096-ptr_max
PARAM_VALUE 0 smc->conn.lgr->peer_os 0-15
PARAM_VALUE 0 smc->conn.lgr->peer_smc_release 0-15
PARAM_VALUE 0 smc->conn.lgr->rmbs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 smc->conn.lgr->rmbs_lock.first_waiter->type 0-1
PARAM_VALUE 0 smc->conn.lgr->smcd->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 smc->conn.lgr->sndbufs_lock.dep_map->name 0-255
PARAM_VALUE 0 smc->conn.lgr->sndbufs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 smc->conn.lgr->sndbufs_lock.first_waiter->type 0-1
PARAM_VALUE 0 smc->conn.lgr->sync_err 0
PARAM_VALUE 0 smc->conn.lnk 4096-ptr_max
PARAM_VALUE 0 smc->conn.lnk->lgr->smcd->dibs->drv_priv->dmb_cnt.counter s32min-s32max
PARAM_VALUE 0 smc->conn.lnk->lgr->smcd->dibs->drv_priv->dmb_ht_lock.owner (-1)
PARAM_VALUE 0 smc->conn.lnk->lgr->smcd->dibs->drv_priv->dmb_ht_lock.owner_cpu 4294967295
PARAM_VALUE 0 smc->conn.lnk->lgr->smcd->dibs->drv_priv->dmb_ht_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 smc->conn.lnk->smcibdev->ibdev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 smc->conn.lnk->smcibdev->ibdev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 smc->conn.local_tx_ctrl.common.type 254
PARAM_VALUE 0 smc->conn.local_tx_ctrl.len 44
PARAM_VALUE 0 smc->conn.peer_rmbe_idx 0-1
PARAM_VALUE 0 smc->conn.rmb_desc 4096-ptr_max
PARAM_VALUE 0 smc->conn.rmb_desc->is_conf_rkey 1
PARAM_VALUE 0 smc->conn.rmb_desc->list.next 4096-ptr_max
PARAM_VALUE 0 smc->conn.rmb_desc->list.prev 4096-ptr_max
PARAM_VALUE 0 smc->conn.rmb_desc->used 1
PARAM_VALUE 0 smc->conn.rmbe_size_comp 0-15
PARAM_VALUE 0 smc->conn.rmbe_update_limit 2304-s32max
PARAM_VALUE 0 smc->conn.rtoken_idx 0-254
PARAM_VALUE 0 smc->conn.rx_off 0,32
PARAM_VALUE 0 smc->conn.rx_tsklet.count.counter 0
PARAM_VALUE 0 smc->conn.rx_tsklet.data 0
PARAM_VALUE 0 smc->conn.rx_tsklet.next 0
PARAM_VALUE 0 smc->conn.rx_tsklet.state 0
PARAM_VALUE 0 smc->conn.rx_tsklet.use_callback 1
PARAM_VALUE 0 smc->conn.sndbuf_desc 4096-ptr_max
PARAM_VALUE 0 smc->conn.sndbuf_desc->used 1
PARAM_VALUE 0 smc->conn.splice_pending.counter 0
PARAM_VALUE 0 smc->conn.urg_state 3
PARAM_VALUE 0 smc->sk.sk_data_ready 3817137084538871808
PARAM_VALUE 0 smc->use_fallback 0
PARAM_VALUE 0 *smc->clcsock->sk->sk_backlog.head->cb->data_end (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *smc->clcsock->sk->sk_backlog.head->data->hdr 0-4294967295
PARAM_VALUE 0 *smc->clcsock->sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 0 *smc->conn.lgr->negotiated_eid 0-255
PARAM_VALUE 0 *smc->conn.lgr->peer_hostname 0-255
PARAM_VALUE 0 *smc->conn.rmb_desc->is_reg_mr 0-255
PARAM_VALUE 0 *smc->conn.sndbuf_desc->is_reg_mr 0-255
PARAM_VALUE 4 ini 4096-ptr_max
PARAM_VALUE 4 ini->check_smcrv2 0
PARAM_VALUE 4 ini->first_contact_local 0-1
PARAM_VALUE 4 ini->first_contact_peer 0,2
PARAM_VALUE 4 ini->ib_clcqpn 0
PARAM_VALUE 4 ini->ib_dev 0,4096-ptr_max
PARAM_VALUE 4 ini->ib_dev->ibdev 4096-ptr_max
PARAM_VALUE 4 ini->ib_port 0-2
PARAM_VALUE 4 ini->is_smcd 0
PARAM_VALUE 4 ini->max_conns 16-255
PARAM_VALUE 4 ini->max_links 1-2
PARAM_VALUE 4 ini->smc_type_v1 0-3
PARAM_VALUE 4 ini->smc_type_v2 0-3
PARAM_VALUE 4 ini->smcd_version 0-3
PARAM_VALUE 4 ini->smcr_version 1-2
PARAM_VALUE 4 ini->smcrv2->nexthop_mac 0-255
PARAM_VALUE 4 ini->smcrv2.ib_dev_v2 0,4096-ptr_max
PARAM_VALUE 4 ini->smcrv2.ib_dev_v2->ibdev 4096-ptr_max
PARAM_VALUE 4 ini->smcrv2.ib_port_v2 0-2
PARAM_VALUE 4 *ini->ib_gid 0-255
PARAM_VALUE 4 *ini->ism_chid 0-u16max
PARAM_VALUE 4 *ini->smcrv2.ib_gid_v2 0-255
BUF_SIZE 3 eid 0,32
BUF_SIZE 3 eid 0,32
BUF_SIZE 4 ini 448
CAPPED_DATA 0 smc->clcsock->sk 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_net.net 1
DATA_SOURCE 0 smc $0
DATA_SOURCE 4 ini $2
FUZZY_MAX 4 ini->max_conns 255
FUZZY_MAX 4 ini->max_links 2
BIT_INFO 4 ini->first_contact_peer 0x0,0x2
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smc_client_lgr_pending
HALF_LOCKED2 sk
HALF_LOCKED2 0 &smc->sk