Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/smc/smc_clc.c smc_clc_msg_prop_valid() -> smc_clc_proposal_get_prefix()

Type Parameter Key Value
PARAM_VALUE 0 pclc 4096-ptr_max
BUF_SIZE 0 pclc 28,160,652
BUF_SIZE 0 pclc 28,160,652
DATA_SOURCE 0 pclc $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &smc->sk
HALF_LOCKED2 global &smc_client_lgr_pending
HALF_LOCKED2 global &smc_server_lgr_pending

net/smc/af_smc.c smc_listen_prfx_check() -> smc_clc_proposal_get_prefix()

Type Parameter Key Value
PARAM_VALUE 0 pclc 4096-ptr_max
PARAM_VALUE 0 pclc->hdr.length 28,44,48,68,78-u16max
PARAM_VALUE 0 pclc->hdr.typev1 0-1,3
PARAM_VALUE 0 pclc->iparea_offset 40
PARAM_VALUE 0 pclc->type 1-3
PARAM_VALUE 0 pclc->version 1-15
BUF_SIZE 0 pclc 652
BUF_SIZE 0 pclc 652
CAPPED_DATA 0 pclc->type 1
DATA_SOURCE 0 pclc $1
LOCK2 &new_smc->sk
LOCK2 global &smc_server_lgr_pending
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct smc_sock)->sk