Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/mctp/route.c __mctp_route_test_fini() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->output 3178271195385851904
DATA_SOURCE 0 dst $2
NOCHECK_CALL

net/mctp/route.c mctp_pkttype_receive() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 5617687683354841088
PARAM_VALUE 0 dst->dev 0,4096-ptr_max
PARAM_VALUE 0 dst->halen 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/mctp/route.c mctp_test_fragment() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 279553550267088896
PARAM_VALUE 0 dst->halen 0
PARAM_VALUE 0 dst->nexthop 0
PARAM_VALUE 0 dst->output 3178271195385851904
MEM_ZERO 0 dst
NOCHECK_CALL

net/mctp/route.c mctp_test_route_gw_lookup() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 1340274370301829120
PARAM_VALUE 0 dst->dev 0,4096-ptr_max
PARAM_VALUE 0 dst->halen 0
NOCHECK_CALL

net/mctp/route.c mctp_test_route_gw_mtu() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 2230547057675763712
PARAM_VALUE 0 dst->dev 0,4096-ptr_max
PARAM_VALUE 0 dst->halen 0
NOCHECK_CALL

net/mctp/route.c mctp_test_route_gw_output() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 5616726366873710592
PARAM_VALUE 0 dst->dev 4096-ptr_max
PARAM_VALUE 0 dst->halen 0
PARAM_VALUE 0 dst->mtu 68
PARAM_VALUE 0 dst->nexthop 9
PARAM_VALUE 0 dst->output 0
PARAM_VALUE 0 dst->saddr 0
NOCHECK_CALL

net/mctp/route.c mctp_test_route_output_direct_no_eids() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 4048454577420652544
PARAM_VALUE 0 dst->dev 0,4096-ptr_max
PARAM_VALUE 0 dst->halen 0
PARAM_VALUE 0 dst->mtu 5-u32max
NOCHECK_CALL

net/mctp/route.c mctp_test_route_output_extaddr_no_eids() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 9077826799313145856
PARAM_VALUE 0 dst->dev 4096-ptr_max
PARAM_VALUE 0 dst->halen 0
PARAM_VALUE 0 dst->mtu 5-u32max
PARAM_VALUE 0 dst->nexthop 0
PARAM_VALUE 0 dst->output 5473176606808395776
NOCHECK_CALL

net/mctp/route.c mctp_test_route_output_key_create() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 3087740408011935744
PARAM_VALUE 0 dst->halen 0
PARAM_VALUE 0 dst->nexthop 0
PARAM_VALUE 0 dst->output 3178271195385851904
MEM_ZERO 0 dst
NOCHECK_CALL

net/mctp/af_mctp.c mctp_sendmsg() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 4151294048264695808
PARAM_VALUE 0 dst->dev 4096-ptr_max
PARAM_VALUE 0 dst->halen 0-32
CAPABLE 0 13
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dst->nexthop 0-255[c]
HALF_LOCKED2 sk

net/mctp/af_mctp.c mctp_sendmsg() -> mctp_dst_release()

Type Parameter Key Value
PARAM_VALUE 0 dst 4151294048264695808
PARAM_VALUE 0 dst->dev 4096-ptr_max
PARAM_VALUE 0 dst->halen 0-32
CAPABLE 0 13
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dst->nexthop 0-255[c]
HALF_LOCKED2 sk