Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/sw/siw/siw_cm.c siw_connect() -> kernel_bindconnect()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sk->sk_lock.owned 0-1
PARAM_VALUE 0 s->type 1
PARAM_VALUE 1 laddr 4096-ptr_max
PARAM_VALUE 1 laddr->sa_family 2,10
PARAM_VALUE 2 laddrlen 4096-ptr_max
BUF_SIZE 1 laddr 128
BUF_SIZE 1 laddr 128
BUF_SIZE 2 laddrlen 128
BUF_SIZE 2 laddrlen 128
FUZZY_MAX 1 laddr->sa_family 10
BIT_INFO 1 laddr->sa_family 0x2,0xa
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex

drivers/infiniband/hw/erdma/erdma_cm.c erdma_connect() -> kernel_bindconnect()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sk 4096-ptr_max
PARAM_VALUE 0 s->sk->sk_callback_lock.dep_map->name 0-255
PARAM_VALUE 0 s->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 0 s->sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 0 s->sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 s->sk->sk_callback_lock.raw_lock.wlocked 0
PARAM_VALUE 0 s->sk->sk_data_ready 703007836166582272
PARAM_VALUE 0 s->sk->sk_error_report 3693762415209603072
PARAM_VALUE 0 s->sk->sk_state_change 3827451770315653120
PARAM_VALUE 0 s->sk->sk_user_data 4096-ptr_max
PARAM_VALUE 0 s->type 1
PARAM_VALUE 1 laddr 4096-ptr_max
PARAM_VALUE 1 laddr->sa_family 2
PARAM_VALUE 2 laddrlen 16
PARAM_VALUE 3 raddr 4096-ptr_max
PARAM_VALUE 3 raddr->sa_family 2
PARAM_VALUE 4 raddrlen 16
PARAM_VALUE 5 flags 2048
BUF_SIZE 1 laddr 128
BUF_SIZE 1 laddr 128
BUF_SIZE 3 raddr 128
BUF_SIZE 3 raddr 128
RX_PATH
TASK_NOT_RUNNING
UNITS 2 laddrlen unit_byte
UNITS 4 raddrlen unit_byte
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex