Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/smc/smc_core.c smc_buf_create() -> __smc_buf_create()

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->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_memcg->high_work.flags 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->high_work.is_hard 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->high_work.is_lazy 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->high_work.is_queued 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->high_work.is_soft 0-1
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.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 0,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.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->llc_flow_rmt.type 0,2,4-6
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->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.lnk->lgr->llc_conf_mutex.first_waiter->handoff_set 0-1
PARAM_VALUE 0 smc->conn.lnk->lgr->llc_conf_mutex.first_waiter->type 0-1
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.rmbe_size_comp 0-15
PARAM_VALUE 0 smc->conn.rmbe_update_limit 2304-s32max
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.urg_state 3
PARAM_VALUE 0 smc->use_fallback 0
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 2 is_rmb 0
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 1 is_smcd $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &smc_client_lgr_pending
HALF_LOCKED2 global &smc_server_lgr_pending
HALF_LOCKED2 0 &smc->sk

net/smc/smc_core.c smc_buf_create() -> __smc_buf_create()

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->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_memcg->high_work.flags 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->high_work.is_hard 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->high_work.is_lazy 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->high_work.is_queued 0-1
PARAM_VALUE 0 smc->clcsock->sk->sk_memcg->high_work.is_soft 0-1
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.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 0,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.first_waiter->handoff_set 0-1
PARAM_VALUE 0 smc->conn.lgr->llc_conf_mutex.first_waiter->list.next 2212933610777083904
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->llc_flow_rmt.type 0,2,4-6
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->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->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 smc->conn.lgr->sndbufs_lock.first_waiter->list.prev 2212933610777083904,2624917664208203776
PARAM_VALUE 0 smc->conn.lgr->sndbufs_lock.first_waiter->type 0-1
PARAM_VALUE 0 smc->conn.lnk->lgr->llc_conf_mutex.first_waiter->handoff_set 0-1
PARAM_VALUE 0 smc->conn.lnk->lgr->llc_conf_mutex.first_waiter->type 0-1
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.rmbe_size_comp 0-15
PARAM_VALUE 0 smc->conn.rmbe_update_limit 2304-s32max
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->list.next 4096-ptr_max
PARAM_VALUE 0 smc->conn.sndbuf_desc->list.prev 4096-ptr_max
PARAM_VALUE 0 smc->conn.urg_state 3
PARAM_VALUE 0 smc->use_fallback 0
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 2 is_rmb 1
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 1 is_smcd $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &smc_client_lgr_pending
HALF_LOCKED2 global &smc_server_lgr_pending
HALF_LOCKED2 0 &smc->sk