Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/smc/af_smc.c __smc_connect() -> smc_connect_decline_fallback()

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->use_fallback 0
PARAM_VALUE 0 *smc->clcsock->sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 1 reason_code 50462720
PARAM_VALUE 2 version 1-2
CAPPED_DATA 0 smc->clcsock->sk 1
DATA_SOURCE 0 smc $0
FUZZY_MAX 2 version 2
HARD_MAX 2 version 2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_write_queue.next->prev->data_len
HALF_LOCKED2 sk
HALF_LOCKED2 0 &smc->sk

net/smc/af_smc.c __smc_connect() -> smc_connect_decline_fallback()

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->use_fallback 0
PARAM_VALUE 0 *smc->clcsock->sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 1 reason_code 16842752
PARAM_VALUE 2 version 1-2
CAPPED_DATA 0 smc->clcsock->sk 1
DATA_SOURCE 0 smc $0
FUZZY_MAX 2 version 2
HARD_MAX 2 version 2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_write_queue.next->prev->data_len
HALF_LOCKED2 sk
HALF_LOCKED2 0 &smc->sk

net/smc/af_smc.c __smc_connect() -> smc_connect_decline_fallback()

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_backlog.head->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 smc->clcsock->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 smc->clcsock->sk->sk_user_data->work.flags 0-4294967295
PARAM_VALUE 0 smc->clcsock->sk->sobject 0-u16max
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->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.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.rtoken_idx (-28),0-254
PARAM_VALUE 0 smc->conn.rx_off 0,32
PARAM_VALUE 0 smc->use_fallback 0
PARAM_VALUE 0 *smc->clcsock->sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 1 reason_code s32min-(-1),1-s32max
PARAM_VALUE 2 version 1-2
CAPPED_DATA 0 smc->clcsock->sk 1
DATA_SOURCE 0 smc $0
FUZZY_MAX 1 reason_code 16842752
FUZZY_MAX 2 version 2
HARD_MAX 2 version 2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 smc->clcsock->sk->sk_write_queue.next->prev->data_len
HALF_LOCKED2 sk
HALF_LOCKED2 0 &smc->sk