Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mctp/route.c mctp_route_add() -> mctp_rt_compare_exact()

Type Parameter Key Value
PARAM_VALUE 0 rt1 4096-ptr_max
PARAM_VALUE 0 rt1->dev 4096-ptr_max
PARAM_VALUE 0 rt1->dev->dev 4096-ptr_max
PARAM_VALUE 0 rt1->dst_type 0-1
PARAM_VALUE 0 rt1->max 8-254
PARAM_VALUE 0 rt1->min 8-254
PARAM_VALUE 0 rt1->output 3139471328856301568,5473176606808395776
PARAM_VALUE 0 rt1->refs.refs.counter 1
PARAM_VALUE 0 rt1->type 1-2
PARAM_VALUE 1 rt2 4096-ptr_max
BUF_SIZE 0 rt1 72
CAPPED_DATA 0 rt1->max 1
CAPPED_DATA 0 rt1->min 1
CAPPED_DATA 1 &rt2->list 1
DATA_SOURCE 0 rt1 $1
BIT_INFO 0 rt1->output 0xb90a0003100c000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rt1->gateway.eid 8-254
USER_DATA 0 rt1->gateway.net 1-u32max
USER_DATA 0 rt1->max 8-254[c]
USER_DATA 0 rt1->min 8-254[c]
USER_DATA 0 rt1->type 1
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex